2284 	unsigned long long msr_bits;  in auto_demotion_disable()  local
2286 	rdmsrq(MSR_PKG_CST_CONFIG_CONTROL, msr_bits);  in auto_demotion_disable()
2287 	msr_bits &= ~auto_demotion_disable_flags;  in auto_demotion_disable()
2288 	wrmsrq(MSR_PKG_CST_CONFIG_CONTROL, msr_bits);  in auto_demotion_disable()
2293 	unsigned long long msr_bits;  in c1e_promotion_enable()  local
2295 	rdmsrq(MSR_IA32_POWER_CTL, msr_bits);  in c1e_promotion_enable()
2296 	msr_bits |= 0x2;  in c1e_promotion_enable()
2297 	wrmsrq(MSR_IA32_POWER_CTL, msr_bits);  in c1e_promotion_enable()
2302 	unsigned long long msr_bits;  in c1e_promotion_disable()  local
2304 	rdmsrq(MSR_IA32_POWER_CTL, msr_bits);  in c1e_promotion_disable()
2305 	msr_bits &= ~0x2;  in c1e_promotion_disable()
2306 	wrmsrq(MSR_IA32_POWER_CTL, msr_bits);  in c1e_promotion_disable()