Constant seL4_UnknownSyscall_R3 

pub const seL4_UnknownSyscall_R3: Type = 3;