Constant seL4_UnknownSyscall_R1

pub const seL4_UnknownSyscall_R1: Type = 1;