Changeset 874621f in mainline for arch/ia32/src/mm/page.c

Timestamp:

2006-06-06T07:40:51Z (19 years ago)

Author:

Ondrej Palkovsky <ondrap@…>

Branches:

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

Children:

0dbc4e7

Parents:

6f9a9bc

Message:

Added kernel circular buffer klog.
Added automatic killing of tasks raising inappropriate exceptions.
TODO Fix vsnprintf return value(and behaviour according to specs) and remove workaround in klog.

File:

• arch/ia32/src/mm/page.c (modified) (1 diff)

arch/ia32/src/mm/page.c

@@ -104 +104 @@
 
         if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
+                fault_if_from_uspace(istate, "Page fault: %#x", page);
+
                 PRINT_INFO_ERRCODE(istate);
                 printf("page fault address: %#x\n", page);