Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision bc1f1c27820ae147ea90ebc58ae2f9a5e0b343ca)
+++ kernel/arch/ia32/src/userspace.c	(revision dbe8a8f4a1345eeb04444a230c3ce4e1885beeab)
@@ -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");