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

/seL4-test-master/kernel/include/api/
H A Ddebug.h78 static inline void debug_printTCB(tcb_t *tcb) function
131 debug_printTCB(curr);

Completed in 79 milliseconds