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

File:

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

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

@@ -45 +45 @@
 void physmem_print(void)
 {
-        printf("[base    ] [size    ]\n");
+        unsigned int i;
         
-        size_t i;
+        printf("Base       Size\n");
+        printf("---------- ----------\n");
+                
         for (i = 0; i < memmap.cnt; i++) {
                 printf("%#10x %#10x\n", memmap.zones[i].start,
-                    memmap.zones[i].size);
+                        memmap.zones[i].size);
         }
 }
@@ -58 +60 @@
         pfn_t minconf = 2;
         size_t i;
+        pfn_t start, conf;
+        size_t size;
         
         for (i = 0; i < memmap.cnt; i++) {
-                /* To be safe, make the available zone possibly smaller */
-                uintptr_t new_start = ALIGN_UP((uintptr_t) memmap.zones[i].start,
-                    FRAME_SIZE);
-                size_t new_size = ALIGN_DOWN(memmap.zones[i].size -
-                    (new_start - ((uintptr_t) memmap.zones[i].start)), 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 pfn = ADDR2PFN(new_start);
-                size_t count = SIZE2FRAMES(new_size);
-                
-                pfn_t conf;
-                if ((minconf < pfn) || (minconf >= pfn + count))
-                        conf = pfn;
+                if ((minconf < start) || (minconf >= start + size))
+                        conf = start;
                 else
                         conf = minconf;
                 
-                zone_create(pfn, count, conf, 0);
-                
-                if (last_frame < ALIGN_UP(new_start + new_size, FRAME_SIZE))
-                        last_frame = ALIGN_UP(new_start + new_size, FRAME_SIZE);
+                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);
         }
         
@@ -86 +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
 }