stdio.h; gcc $(WARNINGS)

1 files changed, 7 insertions, 1 deletions

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);
+}