Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/arch/ia32/src/userspace.c	(revision fb7806a728cd5e678f0696586758952e5fd38ba5)
@@ -53,32 +53,33 @@
 
 	asm volatile (
-		/* Set up GS register (virtual register segment) */
-		"movl %[vreg_des], %%gs\n"
+	    /* Set up GS register (virtual register segment) */
+	    "movl %[vreg_des], %%gs\n"
 
-		"pushl %[udata_des]\n"
-		"pushl %[stack_top]\n"
-		"pushl %[eflags]\n"
-		"pushl %[utext_des]\n"
-		"pushl %[entry]\n"
-		"movl %[uarg], %%eax\n"
+	    "pushl %[udata_des]\n"
+	    "pushl %[stack_top]\n"
+	    "pushl %[eflags]\n"
+	    "pushl %[utext_des]\n"
+	    "pushl %[entry]\n"
+	    "movl %[uarg], %%eax\n"
 
-		/* %edi is defined to hold pcb_ptr - set it to 0 */
-		"xorl %%edi, %%edi\n"
+	    /* %edi is defined to hold pcb_ptr - set it to 0 */
+	    "xorl %%edi, %%edi\n"
 
-		"iret\n"
-		:
-		: [eflags_mask] "i" (~EFLAGS_NT),
-		  [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
-		  [stack_top] "r" ((uint8_t *) kernel_uarg->uspace_stack +
-		      kernel_uarg->uspace_stack_size),
-		  [eflags] "r" ((eflags & ~(EFLAGS_NT)) | EFLAGS_IF),
-		  [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
-		  [entry] "r" (kernel_uarg->uspace_entry),
-		  [uarg] "r" (kernel_uarg->uspace_uarg),
-		  [vreg_des] "r" (GDT_SELECTOR(VREG_DES))
-		: "eax");
+	    "iret\n"
+	    :
+	    : [eflags_mask] "i" (~EFLAGS_NT),
+	      [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
+	      [stack_top] "r" ((uint8_t *) kernel_uarg->uspace_stack +
+	      kernel_uarg->uspace_stack_size),
+	      [eflags] "r" ((eflags & ~(EFLAGS_NT)) | EFLAGS_IF),
+	      [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
+	      [entry] "r" (kernel_uarg->uspace_entry),
+	      [uarg] "r" (kernel_uarg->uspace_uarg),
+	      [vreg_des] "r" (GDT_SELECTOR(VREG_DES))
+	    : "eax");
 
 	/* Unreachable */
-	while (true);
+	while (true)
+		;
 }