sel4_sys
0.1.0
Module seL4_Fault_tag
Constants
In crate sel4_sys
?
Settings
Module
sel4_sys
::
seL4_Fault_tag
Copy item path
source
·
[
−
]
Constants
§
seL4_Fault_CapFault
seL4_Fault_NullFault
seL4_Fault_Timeout
seL4_Fault_UnknownSyscall
seL4_Fault_UserException
seL4_Fault_VCPUFault
seL4_Fault_VGICMaintenance
seL4_Fault_VMFault
seL4_Fault_VPPIEvent