Home
last modified time | relevance | path

Searched refs:debug_tcb_t (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/object/
A Dstructures.h327 typedef struct debug_tcb debug_tcb_t; typedef
329 #define TCB_PTR_DEBUG_PTR(p) ((debug_tcb_t *)TCB_PTR_CTE_PTR(p,tcbArchCNodeEntries))
A Dtcb.h18 …ine TCB_NAME_LENGTH (BIT(seL4_TCBBits-1) - (tcbCNodeEntries * sizeof(cte_t)) - sizeof(debug_tcb_t))
/seL4-master/src/object/
A Dtcb.c189 debug_tcb_t *debug_tcb = TCB_PTR_DEBUG_PTR(tcb); in tcbDebugAppend()
204 debug_tcb_t *debug_tcb = TCB_PTR_DEBUG_PTR(tcb); in tcbDebugRemove()

Completed in 7 milliseconds