Constant seL4_UnknownSyscall_RA

Source
pub const seL4_UnknownSyscall_RA: Type = 2;