Changes in boot/arch/arm32/src/mm.c [f7fba727:193d280c] 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;
@@ -190 +193 @@
 }
 
-static void enable_paging()
-{
-        /* c3   - each two bits controls access to the one of domains (16)
+static void enable_paging(void)
+{
+        /*
+         * c3   - each two bits controls access to the one of domains (16)
          * 0b01 - behave as a client (user) of a domain
          */
@@ -229 +233 @@
 
 /** Start the MMU - initialize page table and enable paging. */
-void mmu_start() {
+void mmu_start(void)
+{
         disable_paging();
 #ifdef PROCESSOR_ARCH_armv7_a