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

/seL4-refos-master/kernel/src/
H A Dinlines.c14 debug_syscall_error_t current_debug_error; variable

Completed in 22 milliseconds