Changes in kernel/arch/ia32/src/userspace.c [c5429fe:88e43bc] in mainline

File:

• kernel/arch/ia32/src/userspace.c (modified) (1 diff)

kernel/arch/ia32/src/userspace.c

@@ -79 +79 @@
             : "eax");
 
-        /* Unreachable */
-        while (true)
-                ;
+        unreachable();
 }