Constant sel4_sys::seL4_UserException_Msg::seL4_UserException_Code

pub const seL4_UserException_Code: Type = 4;