tree be055c50a0c9097b379a1daacb478d514b722767
parent fa1a14e7f252cdb7369e1b4f701c75bd0f30d917
author Barret Rhoden <brho@cs.berkeley.edu> 1427478667 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433619 -0400

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.