MSR_PLATFORM_INFO_MAX_TURBO_RATIO
GUEST_ASSERT_EQ(msr_platform_info & MSR_PLATFORM_INFO_MAX_TURBO_RATIO,
MSR_PLATFORM_INFO_MAX_TURBO_RATIO);
msr_platform_info | MSR_PLATFORM_INFO_MAX_TURBO_RATIO);