From cd3ad989210dc8a3f5805dd5d4c4a6bd74e281db Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 16 Jan 2020 17:15:53 +0100
Subject: Quite a different approach to userspace paging

Hope this works soon!
---
 src/kernel/interrupts/isr.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/kernel/interrupts/isr.c')

diff --git a/src/kernel/interrupts/isr.c b/src/kernel/interrupts/isr.c
index eb932b2..8b2a9e5 100644
--- a/src/kernel/interrupts/isr.c
+++ b/src/kernel/interrupts/isr.c
@@ -3,6 +3,7 @@
 #include <kernel/system.h>
 #include <kernel/lib/string.h>
 #include <kernel/lib/stdio.h>
+#include <kernel/paging/paging.h>
 
 // Install ISRs in IDT
 void isrs_install()
@@ -116,6 +117,7 @@ void fault_handler(struct regs *r)
                 r->eip, r->eax, r->ebx, r->ecx, r->edx, r->esp, faulting_address, r->eflags, r->err_code, r->int_no,
                 exception_messages[r->int_no]
         );
+        serial_printf("%d", paging_get_flags(faulting_address));
         // halt_loop(); // Idk loop?
         char *message = (char *) exception_messages[r->int_no];
         strcat(message, " Exception");
-- 
cgit v1.2.3