Constant seL4_UserException_Code

pub const seL4_UserException_Code: Type = 4;