diff options
author | Alex Auvolat <alex.auvolat@ens.fr> | 2015-02-13 16:16:38 +0100 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ens.fr> | 2015-02-13 16:16:38 +0100 |
commit | ba775049719be84c953bc6dbd097d5d11c30fda7 (patch) | |
tree | afa74f17f3a41752a5e5dfc1e0264d6adcfcdb24 /src/kernel/core/paging.c | |
parent | 1df9fff83a0025421e50b2fcecd0f69997178fe0 (diff) | |
download | kogata-ba775049719be84c953bc6dbd097d5d11c30fda7.tar.gz kogata-ba775049719be84c953bc6dbd097d5d11c30fda7.zip |
Cleanup output.
Diffstat (limited to 'src/kernel/core/paging.c')
-rw-r--r-- | src/kernel/core/paging.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/kernel/core/paging.c b/src/kernel/core/paging.c index 25113ca..44e00fe 100644 --- a/src/kernel/core/paging.c +++ b/src/kernel/core/paging.c @@ -91,6 +91,7 @@ void page_fault_handler(registers_t *regs) { if (regs->eflags & EFLAGS_IF) asm volatile("sti"); // userspace PF handlers should always be preemptible dbg_printf("Userspace page fault at 0x%p\n", vaddr); + dbg_dump_registers(regs); PANIC("Unhandled userspace page fault"); // not handled yet // TODO |