VMM: removes the VPID
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 27 Mar 2015 17:51:07 +0000 (13:51 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Apr 2015 19:06:59 +0000 (15:06 -0400)
commit9b608cc397b588b6f01e5ef07c2f028f732650b9
treebe055c50a0c9097b379a1daacb478d514b722767
parentfa1a14e7f252cdb7369e1b4f701c75bd0f30d917
VMM: removes the VPID

AFAIK, the VPID is only useful if you aren't using EPT.  Since we're
using the EPT, the VPID code is just a waste.  But I did leave in the
helpers, since they may be useful and it's also a good practice to flush
the VPID caches in case a previous user of VMX messed with them.
kern/arch/x86/vmm/intel/vmx.c
kern/arch/x86/vmm/intel/vmx.h