Constant seL4_UnknownSyscall_RA 

pub const seL4_UnknownSyscall_RA: Type = 2;