Changes in boot/arch/arm32/src/mm.c [193d280c:f7fba727] in mainline

File:

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

boot/arch/arm32/src/mm.c

@@ -116 +116 @@
         if (address >= AM335x_RAM_START && address < AM335x_RAM_END)
                 return 1;
-#elif defined MACHINE_raspberrypi
-        if (address < BCM2835_RAM_END)
-                return 1;
 #endif
         return address * 0;
@@ -193 +190 @@
 }
 
-static void enable_paging(void)
-{
-        /*
-         * c3   - each two bits controls access to the one of domains (16)
+static void enable_paging()
+{
+        /* c3   - each two bits controls access to the one of domains (16)
          * 0b01 - behave as a client (user) of a domain
          */
@@ -233 +229 @@
 
 /** Start the MMU - initialize page table and enable paging. */
-void mmu_start(void)
-{
+void mmu_start() {
         disable_paging();
 #ifdef PROCESSOR_ARCH_armv7_a