Constant seL4_UnknownSyscall_R1 

pub const seL4_UnknownSyscall_R1: Type = 1;