Searched refs:msr_platform_info (Results 1 – 4 of 4) 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()86 uint64_t msr_platform_info; in main() local100 msr_platform_info = vcpu_get_msr(vm, VCPU_ID, MSR_PLATFORM_INFO); in main()102 msr_platform_info | MSR_PLATFORM_INFO_MAX_TURBO_RATIO); in main()105 vcpu_set_msr(vm, VCPU_ID, MSR_PLATFORM_INFO, msr_platform_info); in main()
161 return vcpu->arch.msr_platform_info & MSR_PLATFORM_INFO_CPUID_FAULT; in supports_cpuid_fault()
2543 vcpu->arch.msr_platform_info = data; in kvm_set_msr_common()2785 msr_info->data = vcpu->arch.msr_platform_info; in kvm_get_msr_common()8580 vcpu->arch.msr_platform_info = MSR_PLATFORM_INFO_CPUID_FAULT; in kvm_vcpu_reset()
655 u64 msr_platform_info; member