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