Constant X86X_CET_CONFIG_MSR_IBT_MASK 

pub const X86X_CET_CONFIG_MSR_IBT_MASK: u64 = 0xFFFFFFFFFFFFFC3C;