Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision d19b3fcc8f46d58029778b0ba79ad3d796f39697)
+++ kernel/arch/amd64/src/userspace.c	(revision 90efa3b9570ec6f523c45b1a178410890295d3ec)
@@ -75,7 +75,5 @@
 	);
 
-	/* Unreachable */
-	while (true)
-		;
+	unreachable();
 }