Changeset 1433ecda in mainline for kernel/arch/arm32/src/mm/page_fault.c

Timestamp:

2018-04-04T15:42:37Z (6 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

2c4e1cc

Parents:

47b2d7e3

Message:

Fix cstyle: make ccheck-fix and commit only files where all the changes are good.

File:

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

kernel/arch/arm32/src/mm/page_fault.c

@@ -75 +75 @@
 } dfsr_source_t;
 
-static inline const char * dfsr_source_to_str(dfsr_source_t source)
+static inline const char *dfsr_source_to_str(dfsr_source_t source)
 {
         switch (source) {
@@ -149 +149 @@
                 panic("page_fault - instruction does not access memory "
                     "(instr_code: %#0" PRIx32 ", badvaddr:%p).",
-                    *(uint32_t*)instr_union.instr, (void *) badvaddr);
+                    *(uint32_t *)instr_union.instr, (void *) badvaddr);
                 return PF_ACCESS_EXEC;
         }
@@ -177 +177 @@
                 { 0x0fb00000, 0x01000000, PF_ACCESS_WRITE },
         };
-        const uint32_t inst = *(uint32_t*)instr_addr;
+        const uint32_t inst = *(uint32_t *)instr_addr;
         for (unsigned i = 0; i < sizeof(ls_inst) / sizeof(ls_inst[0]); ++i) {
                 if ((inst & ls_inst[i].mask) == ls_inst[i].value) {