Changeset 0b05082 in mainline for uspace/lib/c/include/tls.h

Timestamp:

2018-07-18T18:56:16Z (7 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

40abf56

Parents:

9b1baac

git-author:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-07-18 14:25:11)

git-committer:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-07-18 18:56:16)

Message:

Adds

• tcb_raw_get(), which returns the value of the TP register without any offsets applied to it,
• tcb_raw_set(), which does the opposite,
• tcb_is_set(), which returns true iff the register is not NULL,
• tcb_reset(), which sets the register to NULL.

Used for debug assertions.

File:

• uspace/lib/c/include/tls.h (modified) (1 diff)

uspace/lib/c/include/tls.h

@@ -37 +37 @@
 
 #include <libarch/tls.h>
+#include <stdbool.h>
 #include <stddef.h>
 #include <stdint.h>
+
+static inline void __tcb_reset(void)
+{
+        __tcb_raw_set(NULL);
+}
+
+static inline void __tcb_set(tcb_t *tcb)
+{
+        __tcb_raw_set((uint8_t *)tcb + ARCH_TP_OFFSET);
+}
+
+
+static inline tcb_t *__tcb_get(void)
+{
+        return (tcb_t *)((uint8_t *)__tcb_raw_get() - ARCH_TP_OFFSET);
+}
+
+/*
+ * The TP register is supposed to be zero when the thread is first created
+ * by the kernel. We use this for some debugging assertions.
+ */
+static inline bool __tcb_is_set(void)
+{
+        return __tcb_raw_get() != NULL;
+}
 
 /** DTV Generation number - equals vector length */