Changes in kernel/arch/ppc32/src/mm/frame.c [4872160:da1bafb] in mainline

File:

• kernel/arch/ppc32/src/mm/frame.c (modified) (4 diffs)

kernel/arch/ppc32/src/mm/frame.c

@@ -45 +45 @@
 void physmem_print(void)
 {
-        unsigned int i;
-        
         printf("Base       Size\n");
         printf("---------- ----------\n");
-                
+        
+        size_t i;
         for (i = 0; i < memmap.cnt; i++) {
                 printf("%#10x %#10x\n", memmap.zones[i].start,
-                        memmap.zones[i].size);
+                    memmap.zones[i].size);
         }
 }
@@ -60 +59 @@
         pfn_t minconf = 2;
         size_t i;
-        pfn_t start, conf;
-        size_t size;
         
         for (i = 0; i < memmap.cnt; i++) {
-                start = ADDR2PFN(ALIGN_UP((uintptr_t) memmap.zones[i].start, FRAME_SIZE));
-                size = SIZE2FRAMES(ALIGN_DOWN(memmap.zones[i].size, FRAME_SIZE));
+                pfn_t start = ADDR2PFN(ALIGN_UP((uintptr_t) memmap.zones[i].start,
+                    FRAME_SIZE));
+                size_t size = SIZE2FRAMES(ALIGN_DOWN(memmap.zones[i].size, FRAME_SIZE));
                 
+                pfn_t conf;
                 if ((minconf < start) || (minconf >= start + size))
                         conf = start;
@@ -73 +72 @@
                 
                 zone_create(start, size, conf, 0);
-                if (last_frame < ALIGN_UP((uintptr_t) memmap.zones[i].start + memmap.zones[i].size, FRAME_SIZE))
-                        last_frame = ALIGN_UP((uintptr_t) memmap.zones[i].start + memmap.zones[i].size, FRAME_SIZE);
+                if (last_frame < ALIGN_UP((uintptr_t) memmap.zones[i].start
+                    + memmap.zones[i].size, FRAME_SIZE))
+                        last_frame = ALIGN_UP((uintptr_t) memmap.zones[i].start
+                            + memmap.zones[i].size, FRAME_SIZE);
         }
         
@@ -82 +83 @@
         
         /* Mark the Page Hash Table frames as unavailable */
-        uint32_t sdr1;
-        asm volatile (
-                "mfsdr1 %0\n"
-                : "=r" (sdr1)
-        );
-        frame_mark_unavailable(ADDR2PFN(sdr1 & 0xffff000), 16); // FIXME
+        uint32_t sdr1 = sdr1_get();
+        
+        // FIXME: compute size of PHT exactly
+        frame_mark_unavailable(ADDR2PFN(sdr1 & 0xffff000), 16);
 }