Make sure that there is one space between while and condition

arch/mips/src/pic32mx/pic32mx-lowinit.c

@@ -130,6 +130,7 @@ static inline void pic32mx_waitstates(void)
       nwaits++;
       residual -= MAX_FLASH_HZ;
     }
+
   DEBUGASSERT(nwaits < 8);
 
   /* Set the FLASH wait states -- clearing all other bits! */

arch/rgmp/src/rgmp.c

@@ -151,7 +151,8 @@ void rtos_stop_running(void)
 
     nuttx_arch_exit();
 
-    while(1) {
+    while (1)
+      {
 	arch_hlt();
       }
 }