Constant XSTATE_CET_S 

pub const XSTATE_CET_S: u32 = 12u32;