VMM: Removes the epte_t from pte_t
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 2 Apr 2015 12:24:08 +0000 (08:24 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 7 Apr 2015 19:06:59 +0000 (15:06 -0400)
commitf62dd6cf1bf04983a703e07983e74a1ecdbd2c4f
tree935c020cbc003b64d42c96287d9b43f3d1963320
parent08e42d65c7f7e535fc9f259ab9afb467b9bd0b36
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.
kern/arch/x86/pmap64.c
kern/arch/x86/pmap_ops.h
kern/arch/x86/ros/mmu64.h