VMM: EPT checks, init, and basic usage
[akaros.git] / kern / arch / x86 / ros / mmu64.h
index fb0d2ca..ab97a02 100644 (file)
@@ -18,6 +18,7 @@ typedef struct x86_pte {
 typedef struct x86_pgdir {
        kpte_t  *kpte;
        epte_t  *epte;
+       uint64_t eptp;
 } pgdir_t;
 #endif