On 07/02/19 22:17, Jim Mattson wrote: >> SDM says MSR_IA32_VMX_PROCBASED_CTLS2 is only available "If >> (CPUID.01H:ECX.[5] && IA32_VMX_PROCBASED_CTLS[63])". It was found that >> some old cpus (namely "Intel(R) Core(TM)2 CPU 6600 @ 2.40GHz (family: 0x6, >> model: 0xf, stepping: 0x6") don't have it. Add the missing check. >> >> Reported-by: Zdenek Kaspar <[email protected]> >> Tested-by: Zdenek Kaspar <[email protected]> >> Signed-off-by: Vitaly Kuznetsov <[email protected]> > > Reviewed-by: Jim Mattson <[email protected]>
Queued, thanks. Paolo
