Home
last modified time | relevance | path

Searched refs: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
191 debug_tcb->tcbDebugPrev = NULL; in tcbDebugAppend()
193 debug_tcb->tcbDebugNext = NODE_STATE_ON_CORE(ksDebugTCBs, tcb->tcbAffinity); in tcbDebugAppend()
204 debug_tcb_t *debug_tcb = TCB_PTR_DEBUG_PTR(tcb); in tcbDebugRemove() local
212 TCB_PTR_DEBUG_PTR(debug_tcb->tcbDebugPrev)->tcbDebugNext = debug_tcb->tcbDebugNext; in tcbDebugRemove()
215 if (debug_tcb->tcbDebugNext) { in tcbDebugRemove()
216 TCB_PTR_DEBUG_PTR(debug_tcb->tcbDebugNext)->tcbDebugPrev = debug_tcb->tcbDebugPrev; in tcbDebugRemove()
219 debug_tcb->tcbDebugPrev = NULL; in tcbDebugRemove()
220 debug_tcb->tcbDebugNext = NULL; in tcbDebugRemove()

Completed in 7 milliseconds