Constant seL4_UserException_CPSR 

pub const seL4_UserException_CPSR: Type = 2;