Constant MSR_TFA_TSX_CPUID_CLEAR_BIT 

pub const MSR_TFA_TSX_CPUID_CLEAR_BIT: u32 = 0x1;