ref: 7bc8f4d993fce693f664a9bc8361e7b5633ed7df
parent: 2e713acc2c24b59003c4abeb099d87c88064842d
author: cinap_lenrek <[email protected]>
date: Sat Jun 7 05:26:57 EDT 2014
pc64: implement checkmmu() debug function
--- a/sys/src/9/pc64/mmu.c
+++ b/sys/src/9/pc64/mmu.c
@@ -438,10 +438,19 @@
invlpg(va);
}
+/*
+ * Double-check the user MMU.
+ * Error checking only.
+ */
void
checkmmu(uintptr va, uintptr pa)
{- USED(va, pa);
+ uintptr *pte;
+
+ pte = mmuwalk(m->pml4, va, 0, 0);
+ if(pte != 0 && (*pte & PTEVALID) != 0 && PPN(*pte) != pa)
+ print("%ld %s: va=%#p pa=%#p pte=%#p\n",+ up->pid, up->text, va, pa, *pte);
}
uintptr