Constant seL4_UnknownSyscall_CPSR 

pub const seL4_UnknownSyscall_CPSR: Type = 11;