Searched refs:tcbDebugAppend (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/src/model/
H A Dsmp.c21 tcbDebugAppend(tcb);
/seL4-camkes-master/kernel/include/object/
H A Dtcb.h49 void tcbDebugAppend(tcb_t *tcb);
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c544 tcbDebugAppend(scheduler_action);
546 tcbDebugAppend(NODE_STATE(ksIdleThread));
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c538 tcbDebugAppend(tcb);
H A Dtcb.c187 void tcbDebugAppend(tcb_t *tcb) function

Completed in 100 milliseconds