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

/seL4-refos-master/kernel/include/machine/
H A Dcapdl.h19 void obj_tcb_print_cnodes(cap_t cnode, tcb_t *tcb);
/seL4-refos-master/kernel/src/machine/
H A Dcapdl.c167 void obj_tcb_print_cnodes(cap_t cnode, tcb_t *tcb) function
388 obj_tcb_print_cnodes(TCB_PTR_CTE_PTR(curr, tcbCTable)->cap, curr);

Completed in 57 milliseconds