sel4_sys

Module seL4_UnknownSyscall_Msg

Source

Constants§

seL4_UnknownSyscall_A0
seL4_UnknownSyscall_A1
seL4_UnknownSyscall_A2
seL4_UnknownSyscall_A3
seL4_UnknownSyscall_A4
seL4_UnknownSyscall_A5
seL4_UnknownSyscall_A6
seL4_UnknownSyscall_FaultIP
seL4_UnknownSyscall_Length
seL4_UnknownSyscall_RA
seL4_UnknownSyscall_SP
seL4_UnknownSyscall_Syscall

Type Aliases§

Type