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

Timestamp:

2018-07-18T18:56:16Z (6 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/arch/abs32le/include/libarch/tls.h (modified) (2 diffs)

uspace/lib/c/arch/abs32le/include/libarch/tls.h

@@ -41 +41 @@
 #include <stddef.h>
 
+/* Some architectures store the value with an offset. Some do not. */
+#define ARCH_TP_OFFSET 0
+
 typedef struct {
         void *self;
@@ -46 +49 @@
 } tcb_t;
 
-static inline void __tcb_set(tcb_t *tcb)
+static inline void __tcb_raw_set(void *tls)
 {
+        /* Usually a short assembly assigning to an ABI-defined register. */
 }
 
-static inline tcb_t *__tcb_get(void)
+static inline void *__tcb_raw_get(void)
 {
+        /* Usually a short assembly reading from an ABI-defined register. */
         return NULL;
 }