On Thu, Feb 7, 2019 at 2:42 AM Vitaly Kuznetsov <vkuzn...@redhat.com> 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 <zkaspa...@gmail.com> > Tested-by: Zdenek Kaspar <zkaspa...@gmail.com> > Signed-off-by: Vitaly Kuznetsov <vkuzn...@redhat.com> Reviewed-by: Jim Mattson <jmatt...@google.com>
