/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | deprecated.h | 22 #define EXCEPT_IPC_SYS_MR_PC SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_FaultIP)
|
H A D | faults.h | 25 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
/seL4-refos-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | deprecated.h | 22 #define EXCEPT_IPC_SYS_MR_PC SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_FaultIP)
|
H A D | faults.h | 25 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | deprecated.h | 22 #define EXCEPT_IPC_SYS_MR_PC SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_FaultIP)
|
H A D | faults.h | 25 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | deprecated.h | 22 #define EXCEPT_IPC_SYS_MR_PC SEL4_DEPRECATE_MACRO(seL4_UnknownSyscall_FaultIP)
|
H A D | faults.h | 25 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | faults.h | 24 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
H A D | constants.h | 92 seL4_UnknownSyscall_FaultIP, enumerator in enum:__anon37
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | faults.h | 24 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
H A D | constants.h | 92 seL4_UnknownSyscall_FaultIP, enumerator in enum:__anon92
|
/seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
H A D | faults.h | 19 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
H A D | constants.h | 56 seL4_UnknownSyscall_FaultIP, enumerator in enum:__anon2
|
/seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
H A D | faults.h | 19 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
H A D | constants.h | 62 seL4_UnknownSyscall_FaultIP, enumerator in enum:__anon7
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
H A D | faults.h | 19 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
H A D | constants.h | 56 seL4_UnknownSyscall_FaultIP, enumerator in enum:__anon12
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
H A D | faults.h | 19 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
H A D | constants.h | 62 seL4_UnknownSyscall_FaultIP, enumerator in enum:__anon17
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/machine/ |
H A D | registerset.h | 85 [seL4_UnknownSyscall_FaultIP] = FaultIP,\
|
/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | faults.h | 25 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
/seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | faults.h | 32 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | faults.h | 25 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | faults.h | 32 seL4_GetMR(seL4_UnknownSyscall_FaultIP),
|