Constant MSR_IA32_MISC_ENABLE_TURBO_DISABLE 

pub const MSR_IA32_MISC_ENABLE_TURBO_DISABLE: u64 = 0x4000000000;