Changes in kernel/arch/ppc32/src/mm/frame.c [9d58539:a35b458] in mainline

File:

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

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

@@ -45 +45 @@
 {
         printf("[base    ] [size    ]\n");
-        
+
         size_t i;
         for (i = 0; i < memmap.cnt; i++) {
@@ -57 +57 @@
         pfn_t minconf = 2;
         size_t i;
-        
+
         for (i = 0; i < memmap.cnt; i++) {
                 /* To be safe, make the available zone possibly smaller */
@@ -64 +64 @@
                 size_t size = ALIGN_DOWN(memmap.zones[i].size -
                     (base - ((uintptr_t) memmap.zones[i].start)), FRAME_SIZE);
-                
+
                 if (!frame_adjust_zone_bounds(low, &base, &size))
                         return;
@@ -86 +86 @@
                 }
         }
-        
+
 }
 
@@ -92 +92 @@
 {
         frame_common_arch_init(true);
-        
+
         /* First is exception vector, second is 'implementation specific',
            third and fourth is reserved, other contain real mode code */
         frame_mark_unavailable(0, 8);
-        
+
         /* 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);