Changes in kernel/arch/ia32/src/mm/frame.c [ba4a63b8:a000878c] in mainline

File:

• kernel/arch/ia32/src/mm/frame.c (modified) (7 diffs)

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

@@ -55 +55 @@
 {
         unsigned int i;
-
         for (i = 0; i < e820counter; i++) {
                 uint64_t base = e820table[i].base_address;
@@ -61 +60 @@
                 
 #ifdef __32_BITS__
+                
                 /* Ignore physical memory above 4 GB */
                 if ((base >> 32) != 0)
@@ -68 +68 @@
                 if (((base + size) >> 32) != 0)
                         size = 0xffffffff - base;
+                
 #endif
-
                 pfn_t pfn;
                 size_t count;
@@ -118 +118 @@
 };
 
+
 void physmem_print(void)
 {
@@ -133 +134 @@
                 
                 printf("%#18llx %#18llx %s\n", e820table[i].base_address,
-                    e820table[i].size, name);
+                        e820table[i].size, name);
         }
 }
@@ -147 +148 @@
 #ifdef CONFIG_SMP
                 minconf = max(minconf,
-                    ADDR2PFN(AP_BOOT_OFFSET + hardcoded_unmapped_ktext_size +
-                    hardcoded_unmapped_kdata_size));
+                        ADDR2PFN(AP_BOOT_OFFSET + hardcoded_unmapped_ktext_size +
+                        hardcoded_unmapped_kdata_size));
 #endif
-
                 init_e820_memory(minconf);
                 
@@ -159 +159 @@
                 /* Reserve AP real mode bootstrap memory */
                 frame_mark_unavailable(AP_BOOT_OFFSET >> FRAME_WIDTH, 
-                    (hardcoded_unmapped_ktext_size +
-                    hardcoded_unmapped_kdata_size) >> FRAME_WIDTH);
+                        (hardcoded_unmapped_ktext_size +
+                        hardcoded_unmapped_kdata_size) >> FRAME_WIDTH);
 #endif
         }