Constant sel4_sys::seL4_Fault_tag::seL4_Fault_UnknownSyscall

source · 
pub const seL4_Fault_UnknownSyscall: u64 = 2;