Constant seL4_Fault_UnknownSyscall 

pub const seL4_Fault_UnknownSyscall: u64 = 2;