Constant seL4_UserException_Number

pub const seL4_UserException_Number: Type = 2;