Index: kernel/arch/abs32le/include/arch/asm.h
===================================================================
--- kernel/arch/abs32le/include/arch/asm.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/abs32le/include/arch/asm.h	(revision 1abcf1db7c2a8071caaf9983f1571b2ef88e1be6)
@@ -51,5 +51,6 @@
 	   this function. */
 
-	while (true);
+	while (true)
+		;
 }
 
Index: kernel/arch/abs32le/include/arch/atomic.h
===================================================================
--- kernel/arch/abs32le/include/arch/atomic.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/abs32le/include/arch/atomic.h	(revision 1abcf1db7c2a8071caaf9983f1571b2ef88e1be6)
@@ -115,5 +115,6 @@
 {
 	do {
-		while (val->count);
+		while (val->count)
+			;
 	} while (test_and_set(val));
 }