x86: pgdir_t handles both KPT and EPT
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 17 Mar 2015 14:09:08 +0000 (10:09 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 17 Mar 2015 14:56:00 +0000 (10:56 -0400)
commitfbfe89c9e4ff804fef0f577ae90e157facf7ffb6
tree92be19839220d6105b99341551c4d57444bfcf42
parent636dd81d81beadeca460a16472b736f0c1921792
x86: pgdir_t handles both KPT and EPT

We still don't make EPTs, but all of the infrastructure is in place.
kern/arch/x86/pmap64.c
kern/arch/x86/ros/mmu64.h