Constant sel4_sys::seL4_UserException_Msg::seL4_UserException_Number

pub const seL4_UserException_Number: Type = 3;