sel4_sys

Module seL4_UnknownSyscall_Msg

Source

Constants§

_enum_pad_seL4_UnknownSyscall_Msg
seL4_UnknownSyscall_CPSR
seL4_UnknownSyscall_FaultIP
seL4_UnknownSyscall_LR
seL4_UnknownSyscall_Length
seL4_UnknownSyscall_R0
seL4_UnknownSyscall_R1
seL4_UnknownSyscall_R2
seL4_UnknownSyscall_R3
seL4_UnknownSyscall_R4
seL4_UnknownSyscall_R5
seL4_UnknownSyscall_R6
seL4_UnknownSyscall_R7
seL4_UnknownSyscall_SP
seL4_UnknownSyscall_Syscall

Type Aliases§

Type