sel4_sys::seL4_UserException_Msg

Constant seL4_UserException_SPSR

Source
pub const seL4_UserException_SPSR: Type = 2;