Changeset cf3aee19 in mainline for boot/arch/arm32/src/mm.c

Timestamp:

2015-06-17T23:45:24Z (9 years ago)

Author:

Michal Koutný <xm.koutny+hos@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

523b17a

Parents:

fc7bf19 (diff), 2654afb (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Sync with mainline

File:

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

boot/arch/arm32/src/mm.c

@@ -193 +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
          */
@@ -232 +233 @@
 
 /** Start the MMU - initialize page table and enable paging. */
-void mmu_start() {
+void mmu_start(void)
+{
         disable_paging();
 #ifdef PROCESSOR_ARCH_armv7_a