Constant MSR_IA32_MISC_ENABLE_XTPR_DISABLE 

pub const MSR_IA32_MISC_ENABLE_XTPR_DISABLE: u32 = 0x800000;