diff options
| author | Aleksa Vuckovic <aleksav013@gmail.com> | 2022-09-03 23:53:53 +0200 |
|---|---|---|
| committer | Aleksa Vuckovic <aleksav013@gmail.com> | 2022-09-04 16:42:56 +0200 |
| commit | 6e9b3275d75e0cdbae1e8f7e4dda8880bb6346bc (patch) | |
| tree | d6c7daf073f41ec2df196a322e8d1210d8e126a1 /kernel/src/cpu/irq.c | |
| parent | 11ced165e0df11cc3c889eb0cc402467361c421b (diff) | |
gdt & tss
Diffstat (limited to 'kernel/src/cpu/irq.c')
| -rw-r--r-- | kernel/src/cpu/irq.c | 5 |
1 files changed, 3 insertions, 2 deletions
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) |