Changeset 7f043c0 in mainline for kernel/arch/ia32/src/mm/page.c

Timestamp:

2007-05-31T21:39:13Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

7bb0c32

Parents:

d8431986

Message:

fix ICC compilation

File:

• kernel/arch/ia32/src/mm/page.c (modified) (3 diffs)

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

@@ -84 +84 @@
         uintptr_t virtaddr = PA2KA(last_frame);
         pfn_t i;
-        for (i = 0; i < ADDR2PFN(ALIGN_UP(size, PAGE_SIZE)); i++)
-                page_mapping_insert(AS_KERNEL, virtaddr + PFN2ADDR(i), physaddr + PFN2ADDR(i), PAGE_NOT_CACHEABLE | PAGE_WRITE);
+        for (i = 0; i < ADDR2PFN(ALIGN_UP(size, PAGE_SIZE)); i++) {
+                uintptr_t addr = PFN2ADDR(i);
+                page_mapping_insert(AS_KERNEL, virtaddr + addr, physaddr + addr, PAGE_NOT_CACHEABLE | PAGE_WRITE);
+        }
         
         last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE);
@@ -92 +94 @@
 }
 
-void page_fault(int n, istate_t *istate)
+void page_fault(int n __attribute__((unused)), istate_t *istate)
 {
         uintptr_t page;
@@ -111 +113 @@
                 
                 decode_istate(istate);
-                printf("page fault address: %#x\n", page);
+                printf("page fault address: %#lx\n", page);
                 panic("page fault\n");
         }