/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
|