2 #include <l4/sys/utcb.h>
6 #define HIDDEN __attribute__((visibility("hidden"),nothrow))
8 #define HIDDEN __attribute__((nothrow))
11 unsigned long HIDDEN __aeabi_read_tp(void);
12 unsigned long HIDDEN __aeabi_read_tp(void)
14 return l4_utcb_tcr()->user[0] + TLS_PRE_TCB_SIZE;