Constant XSTATE_CET_U 

pub const XSTATE_CET_U: u32 = 11u32;