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

/seL4-test-master/kernel/include/object/
H A Dstructures.h317 struct debug_tcb { struct
/seL4-test-master/kernel/src/object/
H A Dtcb.c189 debug_tcb_t *debug_tcb = TCB_PTR_DEBUG_PTR(tcb); local
204 debug_tcb_t *debug_tcb = TCB_PTR_DEBUG_PTR(tcb); local
[all...]

Completed in 44 milliseconds