Changeset 00287cc in mainline for kernel/arch/arm32/src/mm/page_fault.c

Timestamp:

2009-03-12T23:26:32Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

648c9d9

Parents:

3b122e9

Message:

arm32: update for the new scheme of device drivers and keyboard/serial modules
streamline arm32 port (as GXemul is still the only machine supported), more cleanup is needed

File:

• kernel/arch/arm32/src/mm/page_fault.c (modified) (3 diffs)

kernel/arch/arm32/src/mm/page_fault.c

@@ -35 +35 @@
 #include <panic.h>
 #include <arch/exception.h>
-#include <arch/debug/print.h>
 #include <arch/mm/page_fault.h>
 #include <mm/as.h>
@@ -183 +182 @@
         if (ret == AS_PF_FAULT) {
                 print_istate(istate);
-                dprintf("page fault - pc: %x, va: %x, status: %x(%x), "
+                printf("page fault - pc: %x, va: %x, status: %x(%x), "
                     "access:%d\n", istate->pc, badvaddr, fsr.status, fsr,
                     access);
-
+                
                 fault_if_from_uspace(istate, "Page fault: %#x.", badvaddr);
                 panic("Page fault.");
@@ -202 +201 @@
 
         if (ret == AS_PF_FAULT) {
-                dprintf("prefetch_abort\n");
+                printf("prefetch_abort\n");
                 print_istate(istate);
                 panic("page fault - prefetch_abort at address: %x.",