From e11298e56be560de64bbccfe74fef7ff85c623d1 Mon Sep 17 00:00:00 2001
From: Aleksa Vuckovic <aleksav013@gmail.com>
Date: Mon, 8 Aug 2022 21:25:55 +0200
Subject: stdio.h; gcc $(WARNINGS)

---
 kernel/src/mem/paging.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'kernel/src/mem/paging.c')

diff --git a/kernel/src/mem/paging.c b/kernel/src/mem/paging.c
index f0181cd..fdd1dd2 100644
--- a/kernel/src/mem/paging.c
+++ b/kernel/src/mem/paging.c
@@ -1,7 +1,8 @@
 #include <types.h>
-
 #include <paging.h>
 
+#include <libk/stdio.h>
+
 void load_pt_lvl4(uint64_t*);
 
 __attribute__((aligned(4096))) uint64_t page_table_lvl4[512];
@@ -35,3 +36,8 @@ void init_paging(void)
 
 	load_pt_lvl4(page_table_lvl4);
 }
+
+void page_fault(uint64_t error)
+{
+	printf("%d\n", error);
+}
-- 
cgit v1.2.3