Constant seL4_UnknownSyscall_RA

pub const seL4_UnknownSyscall_RA: Type = 2;