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

/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Ddeprecated.h26 #define EXCEPT_IPC_SYS_MR_SYSCALL SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Syscall)
H A Dfaults.h29 seL4_GetMR(seL4_UnknownSyscall_Syscall));
H A Dconstants.h34 seL4_UnknownSyscall_Syscall, enumerator in enum:__anon7
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Ddeprecated.h26 #define EXCEPT_IPC_SYS_MR_SYSCALL SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Syscall)
H A Dfaults.h29 seL4_GetMR(seL4_UnknownSyscall_Syscall));
H A Dconstants.h34 seL4_UnknownSyscall_Syscall, enumerator in enum:__anon26
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dfaults.h27 seL4_GetMR(seL4_UnknownSyscall_Syscall));
H A Dconstants.h95 seL4_UnknownSyscall_Syscall, enumerator in enum:__anon76
H A Ddeprecated.h35 #define EXCEPT_IPC_SYS_MR_SYSCALL SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_Syscall)
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dfaults.h29 seL4_GetMR(seL4_UnknownSyscall_Syscall));
H A Dconstants.h66 seL4_UnknownSyscall_Syscall, enumerator in enum:__anon2
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dfaults.h29 seL4_GetMR(seL4_UnknownSyscall_Syscall));
H A Dconstants.h72 seL4_UnknownSyscall_Syscall, enumerator in enum:__anon7
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dfaults.h29 seL4_GetMR(seL4_UnknownSyscall_Syscall));
H A Dconstants.h28 seL4_UnknownSyscall_Syscall, enumerator in enum:__anon16
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dfaults.h35 seL4_GetMR(seL4_UnknownSyscall_Syscall));
H A Dconstants.h102 seL4_UnknownSyscall_Syscall, enumerator in enum:__anon91
/seL4-l4v-master/seL4/src/api/
H A Dfaults.c24 compile_assert(seL4_UnknownSyscall_Syscall, (word_t) n_syscallMessage == seL4_UnknownSyscall_Syscall)

Completed in 62 milliseconds