Constant X86X_MSR_S_CET

pub const X86X_MSR_S_CET: u32 = 0x6a2;