On Sun, Nov 29, 2020 at 12:04:04AM -0800, I wrote:
> On Sun, Nov 29, 2020 at 06:36:17AM +, Mike wrote:
> > And what are you going to return for the other leaf nodes now that
> > you are claiming a CPUID level of 0x15, on CPUs that are less than
> > that?
> >
> > Eg, if your host supports level
On Sun, Nov 29, 2020 at 06:36:17AM +, Mike wrote:
> And what are you going to return for the other leaf nodes now that
> you are claiming a CPUID level of 0x15, on CPUs that are less than
> that?
>
> Eg, if your host supports level 0xb (11), what happens in your diff
> if the guest VM requests
Hello!
On a host with Invariant TSC, vmm advertises to the guest support for
cpuid leaves up to 0x15 (in the response to leaf 0x00), but when the
guest asks for leaves higher than the host's cpuid level,
vmm_handle_cpuid serves the response for host's highest cpuid leaf
instead.
A Linux guest ask
