diff options
Diffstat (limited to 'kernel/l0/paging.c')
| -rw-r--r-- | kernel/l0/paging.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/l0/paging.c b/kernel/l0/paging.c index d289712..811b677 100644 --- a/kernel/l0/paging.c +++ b/kernel/l0/paging.c @@ -80,6 +80,7 @@ void page_fault_handler(registers_t *regs) { if (i->pf == 0) { dbg_printf("Kernel pagefault in region with no handler at 0x%p\n", vaddr); dbg_dump_registers(regs); + dbg_print_region_stats(); PANIC("Unhandled kernel space page fault"); } i->pf(current_pd_d, i, vaddr); |