Searched refs:msr_platform_info (Results 1 – 4 of 4) sorted by relevance
26 uint64_t msr_platform_info; in guest_code() local30 msr_platform_info = rdmsr(MSR_PLATFORM_INFO); in guest_code()31 GUEST_ASSERT_EQ(msr_platform_info & MSR_PLATFORM_INFO_MAX_TURBO_RATIO, in guest_code()35 vector = rdmsr_safe(MSR_PLATFORM_INFO, &msr_platform_info); in guest_code()45 uint64_t msr_platform_info; in main() local52 msr_platform_info = vcpu_get_msr(vcpu, MSR_PLATFORM_INFO); in main()54 msr_platform_info | MSR_PLATFORM_INFO_MAX_TURBO_RATIO); in main()75 vcpu_set_msr(vcpu, MSR_PLATFORM_INFO, msr_platform_info); in main()
188 return vcpu->arch.msr_platform_info & MSR_PLATFORM_INFO_CPUID_FAULT; in supports_cpuid_fault()
4122 vcpu->arch.msr_platform_info = data; in kvm_set_msr_common()4488 msr_info->data = vcpu->arch.msr_platform_info; in kvm_get_msr_common()12216 vcpu->arch.msr_platform_info = MSR_PLATFORM_INFO_CPUID_FAULT; in kvm_arch_vcpu_create()
940 u64 msr_platform_info; member