From 59ffd9d5f5423785f49a65c567082997525a3950 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Lov=C3=A9n?= <thomasloven@gmail.com>
Date: Wed, 27 Dec 2017 23:20:15 +0100
Subject: [PATCH] VMM - touch_page sets flags

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

diff --git a/src/kernel/memory/vmm.tt b/src/kernel/memory/vmm.tt
index 4e63e54..79178c5 100644
--- a/src/kernel/memory/vmm.tt
+++ b/src/kernel/memory/vmm.tt
@@ -140,3 +140,9 @@ TEST(touch_page_adds_P1)
 
   ASSERT_EQ_PTR(p2[3], (uintptr_t)p1 | PAGE_PRESENT);
 }
+TEST(touch_page_sets_flags)
+{
+  touch_page(p4, 0, 0x123);
+
+  ASSERT_EQ_PTR(p2[0], (uintptr_t)p1 | 0x123 | PAGE_PRESENT);
+}