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