VMM - free_page unsets page

2017-12-29 23:15:34 +01:00
parent bbd220a395
commit 063c065d2f
2 changed files with 27 additions and 0 deletions
--- a/src/kernel/memory/vmm.c
+++ b/src/kernel/memory/vmm.c
@@ -71,3 +71,15 @@ int touch_page(void *P4, uintptr_t addr, uint16_t flags)

  return 0;
 }
+
+void free_page(void *P4, uintptr_t addr, int free)
+{
+  (void)free;
+  if(!(P4
+      && P4e(P4, addr).present
+      && P3e(P4, addr).present
+      && P2e(P4, addr).present
+    ))
+    return;
+  P1e(P4, addr).value = 0;
+}