Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision 75dd55d7399a17f1fe7b170fd0d79e0eed7158c2)
+++ kernel/arch/ia32/src/userspace.c	(revision c950a0b40ead524b406ee2d9c48674c29d02b7be)
@@ -73,8 +73,12 @@
 		"iret\n"
 		: 
-		: "i" (selector(UDATA_DES) | PL_USER), "r" ((uint8_t *) kernel_uarg->uspace_stack + THREAD_STACK_SIZE),
-		  "r" (ipl), "i" (selector(UTEXT_DES) | PL_USER), "r" (kernel_uarg->uspace_entry),
-		"r" (kernel_uarg->uspace_uarg),
-		"r" (selector(TLS_DES))
+		: "i" (selector(UDATA_DES) | PL_USER),
+		  "r" ((uint8_t *) kernel_uarg->uspace_stack +
+		      THREAD_STACK_SIZE),
+		  "r" (ipl),
+		  "i" (selector(UTEXT_DES) | PL_USER),
+		  "r" (kernel_uarg->uspace_entry),
+		  "r" (kernel_uarg->uspace_uarg),
+		  "r" (selector(TLS_DES))
 		: "eax");