Searched defs:btcb_tp (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Dsched.h36 unsigned long btcb_tp; /* tls pointer */ member in struct:bmk_tcb
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/
H A Dhelpers.h71 static inline void arch_cpu_sched_settls(unsigned long btcb_tp) argument

Completed in 86 milliseconds