Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 25d5c96bf9f5d66abb3084f6d19f1c69811611a2)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 21aab257adb21e4cf2c14292199ce8dc4106f044)
@@ -76,6 +76,5 @@
 static inline const char * dfsr_source_to_str(dfsr_source_t source)
 {
-	switch (source)
-	{
+	switch (source)	{
 	case DFSR_SOURCE_TRANSLATION_L1:
 		return "Translation fault L1";
@@ -249,6 +248,5 @@
 	const dfsr_source_t source = fsr.raw & DFSR_SOURCE_MASK;
 
-	switch (source)
-	{
+	switch (source)	{
 	case DFSR_SOURCE_TRANSLATION_L1:
 	case DFSR_SOURCE_TRANSLATION_L2: