Searched refs:root_or_idle_tcb (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/kernel/include/machine/
H A Dcapdl.h16 bool_t root_or_idle_tcb(tcb_t *tcb);
/seL4-refos-master/kernel/src/machine/
H A Dcapdl.c69 bool_t root_or_idle_tcb(tcb_t *tcb) function
370 if (root_or_idle_tcb(curr)) {
378 if (root_or_idle_tcb(curr)) {
396 if (root_or_idle_tcb(curr)) {

Completed in 80 milliseconds