Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 46189983620887e3f8ca39ca7efaf1c679d38910)
@@ -75,5 +75,5 @@
 } 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,5 +149,5 @@
 		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,5 +177,5 @@
 		{ 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) {