| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | constants.h | 31 SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg), enumerator
43 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg), enumerator
53 SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg), enumerator
60 SEL4_FORCE_LONG_ENUM(seL4_VGICMaintenance_Msg), enumerator
65 SEL4_FORCE_LONG_ENUM(seL4_VPPIEvent_Msg), enumerator
71 SEL4_FORCE_LONG_ENUM(seL4_VCPUFault_Msg), enumerator
131 SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg) enumerator
153 SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg) enumerator
|
| /seL4-master/libsel4/include/sel4/ |
| A D | constants.h | 21 SEL4_FORCE_LONG_ENUM(seL4_BreakpointType) enumerator
30 SEL4_FORCE_LONG_ENUM(seL4_BreakpointAccess) enumerator
40 SEL4_FORCE_LONG_ENUM(seL4_DebugException_Msg) enumerator
71 SEL4_FORCE_LONG_ENUM(seL4_LookupFailureType), enumerator
100 SEL4_FORCE_LONG_ENUM(seL4_SchedContextFlag), enumerator
|
| A D | shared_types.h | 30 SEL4_FORCE_LONG_ENUM(seL4_CapFault_Msg), enumerator
|
| A D | macros.h | 65 #define SEL4_FORCE_LONG_ENUM(type) \ macro
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | constants.h | 30 SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg), enumerator
42 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg), enumerator
52 SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg), enumerator
60 SEL4_FORCE_LONG_ENUM(seL4_VGICMaintenance_Msg), enumerator
65 SEL4_FORCE_LONG_ENUM(seL4_VPPIEvent_Msg), enumerator
72 SEL4_FORCE_LONG_ENUM(seL4_VCPUFault_Msg), enumerator
158 SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg) enumerator
165 SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg) enumerator
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | constants.h | 80 SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg), enumerator
96 SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg), enumerator
106 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg) enumerator
116 SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg), enumerator
133 SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg) enumerator
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | constants.h | 81 SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg), enumerator
105 SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg) enumerator
115 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg) enumerator
123 SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg) enumerator
147 SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg) enumerator
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | types.h | 32 SEL4_FORCE_LONG_ENUM(seL4_ARM_VMAttributes), enumerator
39 SEL4_FORCE_LONG_ENUM(seL4_ARM_CacheType), enumerator
|
| /seL4-master/libsel4/arch_include/x86/sel4/arch/ |
| A D | types.h | 37 SEL4_FORCE_LONG_ENUM(seL4_X86_VMAttributes), enumerator
48 SEL4_FORCE_LONG_ENUM(seL4_X86_EPT_VMAttributes), enumerator
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | types.h | 66 SEL4_FORCE_LONG_ENUM(seL4_RISCV_VMAttributes) enumerator
|