Constant XSTATE_CET_S

pub const XSTATE_CET_S: u32 = 12;