diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-06 20:30:32 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-06 20:30:32 +0100 |
| commit | 0b5d6568c468075b6c1a2de065332b270345611b (patch) | |
| tree | d2b9debc6eb90c5a43cac5aefd35d1550fe7b11b /kernel/l0/paging.c | |
| parent | b38d90b5cacee9bfc775f1fa4b31c5863654c5e8 (diff) | |
| download | kogata-0b5d6568c468075b6c1a2de065332b270345611b.tar.gz kogata-0b5d6568c468075b6c1a2de065332b270345611b.zip | |
Refactor PF handlers and region freeing functions.
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); |