Searched refs:debug_syscall_error (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/api/
A D	failures.h	40 struct debug_syscall_error { struct 43 typedef struct debug_syscall_error debug_syscall_error_t; argument
A D	types.h	114 extern struct debug_syscall_error current_debug_error;

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023