| commit | 9b608cc397b588b6f01e5ef07c2f028f732650b9 | [log] [tgz] |
|---|---|---|
| author | Barret Rhoden <brho@cs.berkeley.edu> | Fri Mar 27 13:51:07 2015 -0400 |
| committer | Barret Rhoden <brho@cs.berkeley.edu> | Tue Apr 07 15:06:59 2015 -0400 |
| tree | be055c50a0c9097b379a1daacb478d514b722767 | |
| parent | fa1a14e7f252cdb7369e1b4f701c75bd0f30d917 [diff] |
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.