From 0632490ed90d4054fe5c3e4da6d9f56d189a87cc Mon Sep 17 00:00:00 2001
From: Thomas Oltmann <thomas.oltmann.hhg@gmail.com>
Date: Fri, 30 May 2025 17:43:12 +0200
Subject: [PATCH] Extra warning in case we find a cache disable bit

---
 src/x86_64/mem.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/x86_64/mem.c b/src/x86_64/mem.c
index 0015165..f9856cd 100644
--- a/src/x86_64/mem.c
+++ b/src/x86_64/mem.c
@@ -305,6 +305,10 @@ static void pt_get_ranges_rec(struct ppn ppn, int level, uint64_t virt_prev,
             continue;
         }
 
+	if (ent.cache_disable) {
+		printf("CACHE DISABLED ON LEVEL %d!\n", level);
+	}
+
         uint64_t virt_part = i << (12 + 9*(level - 1));
         uint64_t virt_new = virt_prev | virt_part;