| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | constants.h | 23 SEL4_FORCE_LONG_ENUM(seL4_BreakpointType) enumerator in enum:__anon2
32 SEL4_FORCE_LONG_ENUM(seL4_BreakpointAccess) enumerator in enum:__anon3
42 SEL4_FORCE_LONG_ENUM(seL4_DebugException_Msg) enumerator in enum:__anon4
73 SEL4_FORCE_LONG_ENUM(seL4_LookupFailureType), enumerator in enum:__anon6
|
| H A D | shared_types.h | 30 SEL4_FORCE_LONG_ENUM(seL4_CapFault_Msg), enumerator in enum:__anon7
|
| H A D | macros.h | 16 #define SEL4_FORCE_LONG_ENUM(type) \ macro
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | constants.h | 81 SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg), enumerator in enum:__anon37
97 SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg), enumerator in enum:__anon38
107 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg) enumerator in enum:__anon39
117 SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg), enumerator in enum:__anon40
134 SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg) enumerator in enum:__anon41
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | constants.h | 37 SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg), enumerator in enum:__anon26
49 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg), enumerator in enum:__anon27
59 SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg), enumerator in enum:__anon28
66 SEL4_FORCE_LONG_ENUM(seL4_VGICMaintenance_Msg), enumerator in enum:__anon29
71 SEL4_FORCE_LONG_ENUM(seL4_VPPIEvent_Msg), enumerator in enum:__anon30
77 SEL4_FORCE_LONG_ENUM(seL4_VCPUFault_Msg), enumerator in enum:__anon31
137 SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg) enumerator in enum:__anon33
159 SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg) enumerator in enum:__anon34
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | constants.h | 37 SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg), enumerator in enum:__anon7
49 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg), enumerator in enum:__anon8
59 SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg), enumerator in enum:__anon9
66 SEL4_FORCE_LONG_ENUM(seL4_VGICMaintenance_Msg), enumerator in enum:__anon10
71 SEL4_FORCE_LONG_ENUM(seL4_VPPIEvent_Msg), enumerator in enum:__anon11
77 SEL4_FORCE_LONG_ENUM(seL4_VCPUFault_Msg), enumerator in enum:__anon12
137 SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg) enumerator in enum:__anon14
159 SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg) enumerator in enum:__anon15
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | constants.h | 31 SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg), enumerator in enum:__anon16
43 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg), enumerator in enum:__anon17
53 SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg), enumerator in enum:__anon18
61 SEL4_FORCE_LONG_ENUM(seL4_VGICMaintenance_Msg), enumerator in enum:__anon19
66 SEL4_FORCE_LONG_ENUM(seL4_VPPIEvent_Msg), enumerator in enum:__anon20
73 SEL4_FORCE_LONG_ENUM(seL4_VCPUFault_Msg), enumerator in enum:__anon21
159 SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg) enumerator in enum:__anon23
166 SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg) enumerator in enum:__anon24
|
| /seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
| H A D | types.h | 31 SEL4_FORCE_LONG_ENUM(seL4_ARM_VMAttributes), enumerator in enum:__anon3
38 SEL4_FORCE_LONG_ENUM(seL4_ARM_CacheType), enumerator in enum:__anon4
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | constants.h | 80 SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg), enumerator in enum:__anon52
104 SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg) enumerator in enum:__anon53
114 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg) enumerator in enum:__anon54
122 SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg) enumerator in enum:__anon55
146 SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg) enumerator in enum:__anon56
|
| /seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/ |
| H A D | types.h | 36 SEL4_FORCE_LONG_ENUM(seL4_X86_VMAttributes), enumerator in enum:__anon25
|
| /seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | types.h | 70 SEL4_FORCE_LONG_ENUM(seL4_RISCV_VMAttributes) enumerator in enum:__anon1
|