Constant seL4_UnknownSyscall_X3 

pub const seL4_UnknownSyscall_X3: Type = 3;