Constant x86defs::X86X_MSR_U_CET

pub const X86X_MSR_U_CET: u32 = 0x6a0;