54 	msr.hi = 0;  in enable_vmx()
154 	return (platform_info.hi >> 1) & 3;  in cpu_config_tdp_levels()
183 	max_power = msr.hi & 0x7fff;  in set_power_limits()
184 	max_time = (msr.hi >> 16) & 0x7f;  in set_power_limits()
207 	limit.hi = 0;  in set_power_limits()
208 	limit.hi |= ((tdp * 125) / 100) & PKG_POWER_LIMIT_MASK;  in set_power_limits()
209 	limit.hi |= PKG_POWER_LIMIT_EN;  in set_power_limits()
217 		limit.hi = 0;  in set_power_limits()
254 	msr.hi = 0;  in configure_c_states()
259 	msr.hi = 0;  in configure_c_states()
264 	msr.hi = 0;  in configure_c_states()
317 	msr.hi = 0;  in configure_misc()
322 	msr.hi = 0;  in configure_misc()
353 	perf_ctl.hi = 0;  in set_max_ratio()
390 	msr.hi = 0;  in configure_mca()