From 6e9b3275d75e0cdbae1e8f7e4dda8880bb6346bc Mon Sep 17 00:00:00 2001
From: Aleksa Vuckovic <aleksav013@gmail.com>
Date: Sat, 3 Sep 2022 23:53:53 +0200
Subject: gdt & tss

---
 kernel/src/cpu/irq.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'kernel/src/cpu/irq.c')

diff --git a/kernel/src/cpu/irq.c b/kernel/src/cpu/irq.c
index 096860a..a19a7f1 100644
--- a/kernel/src/cpu/irq.c
+++ b/kernel/src/cpu/irq.c
@@ -8,7 +8,7 @@
 #include <paging.h>
 #include <libk/stdio.h>
 
-const char* exception_name[] = {
+const char* const exception_name[] = {
 	"Divide-by-zero Error",
 	"Debug",
 	"Non-maskable Interrupt",
@@ -120,8 +120,9 @@ void isr13_handler(uint64_t error)
 
 void isr14_handler(uint64_t error)
 {
-	page_fault(error);
 	printf("%s\n", exception_name[14]);
+	printf("error: %d\n", error);
+	page_fault(error);
 }
 
 void isr15_handler(void)
-- 
cgit v1.2.3