curr (definition) in projects: seL4-master

Searched defs:curr (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/api/
A D	debug.h	`130 …for (tcb_t *curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)->tcbDebug… in debug_dumpScheduler() local`
/seL4-master/src/machine/
A D	capdl.c	`372 …for (tcb_t curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)->tcbDebug… in print_objects() local 380 …for (tcb_t curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)->tcbDebug… in print_objects() local 398 …for (tcb_t *curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)->tcbDebug… in print_caps() local`
/seL4-master/src/api/
A D	syscall.c	`279 …for (tcb_t curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)->tcbDebug… in handleUnknownSyscall() local 296 …for (tcb_t curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)->tcbDebug… in handleUnknownSyscall() local`

Completed in 10 milliseconds