diff options
| author | Alex Auvolat <alex@adnab.me> | 2015-03-14 12:56:22 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex@adnab.me> | 2015-03-14 12:56:22 +0100 |
| commit | dabd2355f355abd7d1d58641f6cc496adb1482d1 (patch) | |
| tree | 48f674f68b5ec2314d4dd7735af0db0af3408c49 /src/kernel/core/paging.c | |
| parent | 151edb44eea9bf25ec466133e9dbef87bd6b1372 (diff) | |
| download | kogata-dabd2355f355abd7d1d58641f6cc496adb1482d1.tar.gz kogata-dabd2355f355abd7d1d58641f6cc496adb1482d1.zip | |
Add mutexes everywhere ; spam debug log (sorry)
Diffstat (limited to 'src/kernel/core/paging.c')
| -rw-r--r-- | src/kernel/core/paging.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/kernel/core/paging.c b/src/kernel/core/paging.c index f7ebf9c..6233443 100644 --- a/src/kernel/core/paging.c +++ b/src/kernel/core/paging.c @@ -58,9 +58,10 @@ void page_fault_handler(registers_t *regs) { current_thread->user_ex_handler(regs); } else { if (pd->user_pfh == 0) { - dbg_printf("Error: usermode page fault on PD with no user PFH.\n"); + dbg_printf("Error: usermode page fault (0x%p) on PD with no user PFH.\n", vaddr); dbg_printf("PD: 0x%p, kernel PD: 0x%p\n", get_current_pagedir(), get_kernel_pagedir()); - PANIC("Un-handlable usermode PF.\n"); + dbg_dump_registers(regs); + PANIC("Un-handlable usermode PF."); } ASSERT(pd->user_pfh != 0); pd->user_pfh(pd->user_pfh_data, regs, vaddr); |