Searched defs:debug_printKernelEntryReason (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/include/api/
H A Ddebug.h20 static inline void debug_printKernelEntryReason(void) function

Completed in 22 milliseconds