Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision b277bef17cacdcab109f936194b7f7b6e0d05213)
+++ kernel/arch/amd64/src/userspace.c	(revision af7fe18815f03174dbbac2e71e2995f11a596933)
@@ -55,26 +55,27 @@
 
 	asm volatile (
-		"pushq %[udata_des]\n"
-		"pushq %[stack_top]\n"
-		"pushq %[rflags]\n"
-		"pushq %[utext_des]\n"
-		"pushq %[entry]\n"
-		"movq %[uarg], %%rax\n"
+	    "pushq %[udata_des]\n"
+	    "pushq %[stack_top]\n"
+	    "pushq %[rflags]\n"
+	    "pushq %[utext_des]\n"
+	    "pushq %[entry]\n"
+	    "movq %[uarg], %%rax\n"
 
-		/* %rdi is defined to hold pcb_ptr - set it to 0 */
-		"xorq %%rdi, %%rdi\n"
-		"iretq\n"
-		:: [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
-		   [stack_top] "r" ((uint8_t *) kernel_uarg->uspace_stack +
-		       kernel_uarg->uspace_stack_size),
-		   [rflags] "r" (rflags),
-		   [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
-		   [entry] "r" (kernel_uarg->uspace_entry),
-		   [uarg] "r" (kernel_uarg->uspace_uarg)
-		: "rax"
+	    /* %rdi is defined to hold pcb_ptr - set it to 0 */
+	    "xorq %%rdi, %%rdi\n"
+	    "iretq\n"
+	    :: [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
+	      [stack_top] "r" ((uint8_t *) kernel_uarg->uspace_stack +
+	      kernel_uarg->uspace_stack_size),
+	      [rflags] "r" (rflags),
+	      [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
+	      [entry] "r" (kernel_uarg->uspace_entry),
+	      [uarg] "r" (kernel_uarg->uspace_uarg)
+	    : "rax"
 	);
 
 	/* Unreachable */
-	while (true);
+	while (true)
+		;
 }