1 files changed, 10 insertions, 0 deletions
diff --git a/kernel/vm.c b/kernel/vm.c
index 96f2ffa..cbea684 100644
--- a/kernel/vm.c
+++ b/kernel/vm.c
@@ -436,3 +436,13 @@ kernelpa(uint64 va) {
   pa = PTE2PA(*pte);
   return pa+off;
 }
+
+void
+clearpteu(pagetable_t pagetable, uint64 va) {
+  pte_t *pte;
+  
+  pte = walk(pagetable, va, 0);
+  if(pte == 0)
+    panic("clearpteu");
+  *pte &= ~PTE_U;
+}