MSR_IA32_THERM_CONTROL
u32 bdw_msr_id[] = { MSR_IA32_THERM_CONTROL };
rdmsr_safe(MSR_IA32_THERM_CONTROL,
wrmsr_safe(MSR_IA32_THERM_CONTROL,
rdmsrq_on_cpu(cpu, MSR_IA32_THERM_CONTROL, &val.q);
rdmsrq_on_cpu(cpu, MSR_IA32_THERM_CONTROL, &val.q);
wrmsrq_on_cpu(cpu, MSR_IA32_THERM_CONTROL, val.q & ~(1ULL << 4));
wrmsrq_on_cpu(cpu, MSR_IA32_THERM_CONTROL, val.q);