MSR_IA32_THERM_CONTROL
u32 bdw_msr_id[] = { MSR_IA32_THERM_CONTROL };
rdmsr_safe(MSR_IA32_THERM_CONTROL,
wrmsr_safe(MSR_IA32_THERM_CONTROL,
rdmsr_on_cpu(cpu, MSR_IA32_THERM_CONTROL, &l, &h);
rdmsr_on_cpu(cpu, MSR_IA32_THERM_CONTROL, &l, &h);
wrmsr_on_cpu(cpu, MSR_IA32_THERM_CONTROL, l & ~(1<<4), h);
wrmsr_on_cpu(cpu, MSR_IA32_THERM_CONTROL, l, h);