MSR_PLATFORM_INFO_CPUID_FAULT
if (msr & MSR_PLATFORM_INFO_CPUID_FAULT)
return vcpu->arch.msr_platform_info & MSR_PLATFORM_INFO_CPUID_FAULT;
vcpu->arch.msr_platform_info = MSR_PLATFORM_INFO_CPUID_FAULT;
*data = MSR_PLATFORM_INFO_CPUID_FAULT;