From c84ca502c9324ee0a047c118bf81d502c24b5f7c Mon Sep 17 00:00:00 2001
From: hasslesstech <hasslesstech@tutanota.com>
Date: Fri, 21 Mar 2025 14:53:22 +0200
Subject: [PATCH] sanity_check: add message for missing pages

---
 src/kernel.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/kernel.c b/src/kernel.c
index ea87667..fe8b023 100644
--- a/src/kernel.c
+++ b/src/kernel.c
@@ -404,5 +404,7 @@ KERNEL_sanity_check_memory_lists(void)
 	for (size_t i = 0; i < PHYSICAL_PAGE_AMOUNT; i++) {
 		if (ppns_free[i] >= 1 && ppns_busy[i] >= 1)
 			printf("[kernel:sanity_check_memory_lists] Page #%d is listed in both lists (%d times in total)\n", i, ppns_busy[i] + ppns_free[i]);
+		else if (ppns_free[i] == 0 && ppns_busy[i] == 0)
+			printf("[kernel:sanity_check_memory_lists] Page #%d is missing from both lists\n", i);
 	}
 }