Home
last modified time | relevance | path

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

/seL4-master/include/object/
A Dstructures.h317 struct debug_tcb { struct
327 typedef struct debug_tcb debug_tcb_t; argument
/seL4-master/src/object/
A Dtcb.c189 debug_tcb_t *debug_tcb = TCB_PTR_DEBUG_PTR(tcb); in tcbDebugAppend() local
204 debug_tcb_t *debug_tcb = TCB_PTR_DEBUG_PTR(tcb); in tcbDebugRemove() local

Completed in 12 milliseconds