Changeset 0b05082 in mainline for uspace/lib/c/include/fibril_synch.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:

40abf56a

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/fibril_synch.h (modified) (1 diff)

uspace/lib/c/include/fibril_synch.h

@@ -38 +38 @@
 #include <fibril.h>
 #include <adt/list.h>
-#include <libarch/tls.h>
+#include <tls.h>
 #include <sys/time.h>
 #include <stdbool.h>