Index: kernel/arch/xen32/src/userspace.c
===================================================================
--- kernel/arch/xen32/src/userspace.c	(revision bf785695fd4bba71c226dd784d5e3107512828df)
+++ kernel/arch/xen32/src/userspace.c	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
@@ -71,9 +71,13 @@
 		"iret\n"
 		: 
-		: "i" (selector(UDATA_DES) | PL_USER), "r" (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");
+		: "i" (selector(UDATA_DES) | PL_USER),
+		  "r" (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"
+	);
 	
 	/* Unreachable */