diff options
| author | Alex Auvolat <alex@adnab.me> | 2015-03-09 17:04:04 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex@adnab.me> | 2015-03-09 17:04:04 +0100 |
| commit | 3341e7a3a184b5bea17f0f678b40bc51c92d72a4 (patch) | |
| tree | c77a940a371148b256676f7b59caaecc725a1f1d /src/kernel/core/paging.c | |
| parent | 436418e575b68fd7e85f7fdaf039e03874ec1cb9 (diff) | |
| download | kogata-3341e7a3a184b5bea17f0f678b40bc51c92d72a4.tar.gz kogata-3341e7a3a184b5bea17f0f678b40bc51c92d72a4.zip | |
Partial implement VFS pager (enough for ISO9660!)
Also add some debugging facilities (especially stack trace).
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"); |