diff options
Diffstat (limited to 'src/kernel/core/paging.c')
| -rw-r--r-- | src/kernel/core/paging.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/kernel/core/paging.c b/src/kernel/core/paging.c index 38e8407..f2289bd 100644 --- a/src/kernel/core/paging.c +++ b/src/kernel/core/paging.c @@ -66,6 +66,7 @@ void page_fault_handler(registers_t *regs) { if ((size_t)vaddr < PAGE_SIZE) { dbg_printf("Null pointer dereference in kernel code (0x%p)\n", vaddr); dbg_dump_registers(regs); + dbg_print_region_info(); PANIC("Null pointer dereference in kernel code."); } else if ((size_t)vaddr < K_HIGHHALF_ADDR) { if (pd->user_pfh == 0) { @@ -108,7 +109,7 @@ void page_fault_handler(registers_t *regs) { PANIC("Unhandled kernel space page fault"); } if (i->pf == 0) { - dbg_printf("Kernel pagefault in region with no handler at 0x%p\n", vaddr); + dbg_printf("Kernel pagefault in region with no handler at 0x%p (%s region)\n", vaddr, i->type); dbg_dump_registers(regs); dbg_print_region_info(); PANIC("Unhandled kernel space page fault"); |