Constant MSR_TFA_SDV_ENABLE_RTM_BIT 

pub const MSR_TFA_SDV_ENABLE_RTM_BIT: u32 = 0x2;