Constant seL4_UnknownSyscall_CPSR

pub const seL4_UnknownSyscall_CPSR: Type = 11;