Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/arch/ia32/src/userspace.c	(revision e0a4686ebb68dd7d42dd083c5ea6c37d6ced027d)
@@ -50,9 +50,9 @@
 {
 	uint32_t eflags = read_eflags();
-	
+
 	asm volatile (
 		/* Set up GS register (virtual register segment) */
 		"movl %[vreg_des], %%gs\n"
-		
+
 		"pushl %[udata_des]\n"
 		"pushl %[stack_top]\n"
@@ -61,8 +61,8 @@
 		"pushl %[entry]\n"
 		"movl %[uarg], %%eax\n"
-		
+
 		/* %edi is defined to hold pcb_ptr - set it to 0 */
 		"xorl %%edi, %%edi\n"
-		
+
 		"iret\n"
 		:
@@ -77,5 +77,5 @@
 		  [vreg_des] "r" (GDT_SELECTOR(VREG_DES))
 		: "eax");
-	
+
 	/* Unreachable */
 	while (1);