Changeset 8607db8 in mainline for kernel/arch/amd64/src/mm/page.c

Timestamp:

2006-10-27T13:34:20Z (19 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

ec04b20

Parents:

16d71f41

Message:

amd64: adopt new IRQ interface

File:

• kernel/arch/amd64/src/mm/page.c (modified) (2 diffs)

kernel/arch/amd64/src/mm/page.c

@@ -111 +111 @@
                 }
 
-                exc_register(14, "page_fault", (iroutine)page_fault);
+                exc_register(14, "page_fault", (iroutine) page_fault);
                 write_cr3((uintptr_t) AS_KERNEL->page_table);
         }
@@ -194 +194 @@
                 fault_if_from_uspace(istate, "Page fault: %#x", page);
 
-                print_info_errcode(n, istate);
+                decode_istate(n, istate);
                 printf("Page fault address: %llx\n", page);
                 panic("page fault\n");