Searched refs:seL4_UnknownSyscall_R14 (Results 1 - 5 of 5) sorted by relevance

/seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dfaults.h30 seL4_GetMR(seL4_UnknownSyscall_R14),
H A Dconstants.h97 seL4_UnknownSyscall_R14, enumerator in enum:__anon52
/seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dfaults.h30 seL4_GetMR(seL4_UnknownSyscall_R14),
H A Dconstants.h97 seL4_UnknownSyscall_R14, enumerator in enum:__anon107
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Dregisterset.h103 [seL4_UnknownSyscall_R14] = R14,\

Completed in 82 milliseconds