55 	msr.hi = 0;  in enable_vmx()
155 	return (platform_info.hi >> 1) & 3;  in cpu_config_tdp_levels()
184 	max_power = msr.hi & 0x7fff;  in set_power_limits()
185 	max_time = (msr.hi >> 16) & 0x7f;  in set_power_limits()
208 	limit.hi = 0;  in set_power_limits()
209 	limit.hi |= ((tdp * 125) / 100) & PKG_POWER_LIMIT_MASK;  in set_power_limits()
210 	limit.hi |= PKG_POWER_LIMIT_EN;  in set_power_limits()
218 		limit.hi = 0;  in set_power_limits()
255 	msr.hi = 0;  in configure_c_states()
260 	msr.hi = 0;  in configure_c_states()
265 	msr.hi = 0;  in configure_c_states()
318 	msr.hi = 0;  in configure_misc()
323 	msr.hi = 0;  in configure_misc()
354 	perf_ctl.hi = 0;  in set_max_ratio()
391 	msr.hi = 0;  in configure_mca()