x86: changes pte_t to be a KPTE and an EPTE
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 17 Mar 2015 13:38:57 +0000 (09:38 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 17 Mar 2015 14:56:00 +0000 (10:56 -0400)
commit636dd81d81beadeca460a16472b736f0c1921792
treef5a7845b0f221f189d9dee39c54871694a73cee3
parentee2c1a7ef08d83f62dadd54ca15908b1f131cd35
x86: changes pte_t to be a KPTE and an EPTE

Ideally, a PTE would always have a KPTE, and optionally have an EPTE.
Now, for all ops other than walk_okay, we have at least one of KPTE or
EPTE (and possibly both).  pgdir_walk() will return both.  memwalks will
have only one or the other.

The alternative is to come up with a way to walk both tables in
lockstep, jumping back and forth and building a full PTE for the
memcallback at each point.  We might do that later, if necessary.
kern/arch/x86/pmap64.c
kern/arch/x86/pmap_ops.h
kern/arch/x86/ros/mmu64.h