Searched refs:msr_platform_info (Results 1 – 1 of 1) sorted by relevance
29 uint64_t msr_platform_info; in guest_code() local32 msr_platform_info = rdmsr(MSR_PLATFORM_INFO); in guest_code()33 GUEST_SYNC(msr_platform_info); in guest_code()85 uint64_t msr_platform_info; in main() local99 msr_platform_info = vcpu_get_msr(vm, VCPU_ID, MSR_PLATFORM_INFO); in main()101 msr_platform_info | MSR_PLATFORM_INFO_MAX_TURBO_RATIO); in main()104 vcpu_set_msr(vm, VCPU_ID, MSR_PLATFORM_INFO, msr_platform_info); in main()