Changes in boot/arch/arm32/src/mm.c [2e55443:8f9d70b] in mainline

File:

• boot/arch/arm32/src/mm.c (modified) (2 diffs)

boot/arch/arm32/src/mm.c

@@ -75 +75 @@
         if (address >= AM335x_RAM_START && address < AM335x_RAM_END)
                 return 1;
+#elif defined MACHINE_raspberrypi
+        const unsigned long address = section << PTE_SECTION_SHIFT;
+        if (address < BCM2835_RAM_END)
+                return 1;
 #endif
         return 0;
@@ -113 +117 @@
 static void init_boot_pt(void)
 {
+#if defined MACHINE_raspberrypi
+        const pfn_t split_page = 2048;
+#else
         const pfn_t split_page = PTL0_ENTRIES;
+#endif
+
         /* Create 1:1 virtual-physical mapping (in lower 2 GB). */
         pfn_t page;
         for (page = 0; page < split_page; page++)
                 init_ptl0_section(&boot_pt[page], page);
-        
+
+#if defined MACHINE_raspberrypi
+        for (; page < PTL0_ENTRIES; page++)
+                init_ptl0_section(&boot_pt[page], page - split_page);
+#endif  
         asm volatile (
                 "mcr p15, 0, %[pt], c2, c0, 0\n"