Constant MSR_IA32_MISC_ENABLE_TCC 

pub const MSR_IA32_MISC_ENABLE_TCC: u32 = 0x2;