Changeset 086d4fd in mainline for arch/mips32/src/mm/tlb.c

Timestamp:

2006-02-02T21:16:08Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

14e5d88

Parents:

bc504ef2

Message:

Add PAGE_WIDTH to aid divisions by PAGE_SIZE.

File:

• arch/mips32/src/mm/tlb.c (modified) (1 diff)

arch/mips32/src/mm/tlb.c

@@ -367 +367 @@
          */
         if (!pte) {
-                printf("No such mapping: %P.\n", badvaddr);
+                printf("No such mapping.\n");
                 return NULL;
         }