debug_syscall_error_t (reference) in projects: seL4-master

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

/seL4-master/include/api/
A D	failures.h	`43 typedef struct debug_syscall_error debug_syscall_error_t; typedef 45 extern debug_syscall_error_t current_debug_error;`
/seL4-master/src/
A D	inlines.c	`14 debug_syscall_error_t current_debug_error;`

Completed in 33 milliseconds