On 05/11/19 03:02, Krish Sadhukhan wrote: >>> >>> + case 0x80000005: >>> + case 0x80000006: >>> + break; >>> case 0x80000007: /* Advanced power management */ >>> /* invariant TSC is CPUID.80000007H:EDX[8] */ >>> entry->edx &= (1 << 8); >>> -- >>> 2.23.0.866.gb869b98d4c-goog >>> >> Ping. > > Just curious about where we are actually setting the information for > these two leaves. I don't see it either in __do_cpuid_func() or in > kvm_x86_ops->set_supported_cpuid(). do_cpuid_1_ent simply passes down the host information. Patch queued, thanks. Paolo