Constant MSR_TFA_RTM_FORCE_ABORT_BIT 

pub const MSR_TFA_RTM_FORCE_ABORT_BIT: u32 = 0x0;