Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision d19b3fcc8f46d58029778b0ba79ad3d796f39697)
+++ kernel/arch/amd64/src/userspace.c	(revision b9a272563e38eea07dab1ea8d97ee76936365f1a)
@@ -75,7 +75,5 @@
 	);
 
-	/* Unreachable */
-	while (true)
-		;
+	unreachable();
 }
 
Index: kernel/arch/arm32/src/userspace.c
===================================================================
--- kernel/arch/arm32/src/userspace.c	(revision d19b3fcc8f46d58029778b0ba79ad3d796f39697)
+++ kernel/arch/arm32/src/userspace.c	(revision b9a272563e38eea07dab1ea8d97ee76936365f1a)
@@ -114,7 +114,5 @@
 	);
 
-	/* unreachable */
-	while (true)
-		;
+	unreachable();
 }
 
Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision d19b3fcc8f46d58029778b0ba79ad3d796f39697)
+++ kernel/arch/ia32/src/userspace.c	(revision b9a272563e38eea07dab1ea8d97ee76936365f1a)
@@ -79,7 +79,5 @@
 	    : "eax");
 
-	/* Unreachable */
-	while (true)
-		;
+	unreachable();
 }
 
Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision d19b3fcc8f46d58029778b0ba79ad3d796f39697)
+++ kernel/arch/ppc32/src/ppc32.c	(revision b9a272563e38eea07dab1ea8d97ee76936365f1a)
@@ -297,7 +297,5 @@
 	    (uintptr_t) kernel_uarg->uspace_entry);
 
-	/* Unreachable */
-	while (true)
-		;
+	unreachable();
 }