Constant MSR_IA32_MISC_ENABLE_TM1 

pub const MSR_IA32_MISC_ENABLE_TM1: u32 = 0x8;