Constant seL4_UserException_CPSR

pub const seL4_UserException_CPSR: Type = 2;