On Tue, Sep 4, 2018 at 11:42 AM, Krish Sadhukhan <krish.sadhukhan@xxxxxxxxxx> wrote: > According to section "Checks on VMX Controls" in Intel SDM vol 3C, the > following check needs to be enforced on vmentry of L2 guests: > > If the “enable VPID” VM-execution control is 1, the value of the > of the VPID VM-execution control field must not be 0000H. > > Signed-off-by: Krish Sadhukhan <krish.sadhukhan@xxxxxxxxxx> > Reviewed-by: Mark Kanda <mark.kanda@xxxxxxxxxx> > Reviewed-by: Liran Alon <liran.alon@xxxxxxxxxx> Reviewed-by: Jim Mattson <jmattson@xxxxxxxxxx>