Changes in kernel/arch/ppc32/src/mm/frame.c [da1bafb:4872160] 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);
         }
 }
@@ -59 +60 @@
         pfn_t minconf = 2;
         size_t i;
+        pfn_t start, conf;
+        size_t size;
         
         for (i = 0; i < memmap.cnt; i++) {
-                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));
+                start = ADDR2PFN(ALIGN_UP((uintptr_t) memmap.zones[i].start, FRAME_SIZE));
+                size = SIZE2FRAMES(ALIGN_DOWN(memmap.zones[i].size, FRAME_SIZE));
                 
-                pfn_t conf;
                 if ((minconf < start) || (minconf >= start + size))
                         conf = start;
@@ -72 +73 @@
                 
                 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);
         }
         
@@ -83 +82 @@
         
         /* Mark the Page Hash Table frames as unavailable */
-        uint32_t sdr1 = sdr1_get();
-        
-        // FIXME: compute size of PHT exactly
-        frame_mark_unavailable(ADDR2PFN(sdr1 & 0xffff000), 16);
+        uint32_t sdr1;
+        asm volatile (
+                "mfsdr1 %0\n"
+                : "=r" (sdr1)
+        );
+        frame_mark_unavailable(ADDR2PFN(sdr1 & 0xffff000), 16); // FIXME
 }