tree 935c020cbc003b64d42c96287d9b43f3d1963320
parent 08e42d65c7f7e535fc9f259ab9afb467b9bd0b36
author Barret Rhoden <brho@cs.berkeley.edu> 1427977448 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433619 -0400

VMM: Removes the epte_t from pte_t

A pte is just a kpte_t* - still different than a month ago, where pte ==
kpte.  Now pte == kpte*.  But we don't need to track the epte with the
kpte, since we can find the epte from the kpte.

I kept the eptp as part of the pgdir.  Arguably, the cr3 belongs there
too.  Often the cr3 and eptp have extra bits in them, other than just
the PADDR of the PML4, so it's handy to keep them around.