Index: kernel/arch/abs32le/include/arch/asm.h
===================================================================
--- kernel/arch/abs32le/include/arch/asm.h	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ kernel/arch/abs32le/include/arch/asm.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -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 f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ kernel/arch/abs32le/include/arch/atomic.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -115,5 +115,6 @@
 {
 	do {
-		while (val->count);
+		while (val->count)
+			;
 	} while (test_and_set(val));
 }
Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -110,5 +110,6 @@
 void context_restore_arch(context_t *ctx)
 {
-	while (true);
+	while (true)
+		;
 }
 
Index: kernel/arch/abs32le/src/userspace.c
===================================================================
--- kernel/arch/abs32le/src/userspace.c	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ kernel/arch/abs32le/src/userspace.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
@@ -44,5 +44,6 @@
 	   space mode and jumps to kernel_uarg->uspace_entry. */
 
-	while (true);
+	while (true)
+		;
 }