From 46e27fb8176584348e55f7b812c0ea63998533a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= <thomasloven@gmail.com>
Date: Sat, 30 Dec 2017 11:30:45 +0100
Subject: [PATCH] VMM - free_page deos not unset P2 entry if P1 is not empty

---
 src/kernel/memory/vmm.tt | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/kernel/memory/vmm.tt b/src/kernel/memory/vmm.tt
index 398e027..a505d67 100644
--- a/src/kernel/memory/vmm.tt
+++ b/src/kernel/memory/vmm.tt
@@ -155,3 +155,13 @@ TEST(free_page_does_not_unset_P2_entry_if_not_asked_to)
 
   ASSERT_NEQ_PTR(p2[3], 0);
 }
+TEST(free_page_does_not_unset_P2_entry_if_P1_is_not_empty)
+{
+  BUILD_PT(1,2,3);
+  p1[4] = PAGE_PRESENT;
+  p1[0] = PAGE_PRESENT;
+
+  free_page(p4, ADDR1234, 1);
+
+  ASSERT_NEQ_PTR(p2[3], 0);
+}