2159 	unsigned long long msr_bits;  in auto_demotion_disable()  local
2161 	rdmsrl(MSR_PKG_CST_CONFIG_CONTROL, msr_bits);  in auto_demotion_disable()
2162 	msr_bits &= ~auto_demotion_disable_flags;  in auto_demotion_disable()
2163 	wrmsrl(MSR_PKG_CST_CONFIG_CONTROL, msr_bits);  in auto_demotion_disable()
2168 	unsigned long long msr_bits;  in c1e_promotion_enable()  local
2170 	rdmsrl(MSR_IA32_POWER_CTL, msr_bits);  in c1e_promotion_enable()
2171 	msr_bits |= 0x2;  in c1e_promotion_enable()
2172 	wrmsrl(MSR_IA32_POWER_CTL, msr_bits);  in c1e_promotion_enable()
2177 	unsigned long long msr_bits;  in c1e_promotion_disable()  local
2179 	rdmsrl(MSR_IA32_POWER_CTL, msr_bits);  in c1e_promotion_disable()
2180 	msr_bits &= ~0x2;  in c1e_promotion_disable()
2181 	wrmsrl(MSR_IA32_POWER_CTL, msr_bits);  in c1e_promotion_disable()