Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/ia64/src/ia64.c	(revision 34e1206ec4dc79f0592077e3ee270fba91d1eb9d)
@@ -108,7 +108,7 @@
 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
 	int i;
-	
+
 	int myid, myeid;
-	
+
 	myid = ia64_get_cpu_id();
 	myeid = ia64_get_cpu_eid();
@@ -167,10 +167,10 @@
 		}
 	}
-	
+
 	outdev_t *skidev = skiout_init();
 	if (skidev)
 		stdout_wire(skidev);
 #endif
-	
+
 #ifdef CONFIG_EGA
 	outdev_t *egadev = ega_init(EGA_BASE, EGA_VIDEORAM);
@@ -178,5 +178,5 @@
 		stdout_wire(egadev);
 #endif
-	
+
 #ifdef CONFIG_NS16550
 	ns16550_instance_t *ns16550_instance
@@ -191,5 +191,5 @@
 		}
 	}
-	
+
 	sysinfo_set_item_val("kbd", NULL, true);
 	sysinfo_set_item_val("kbd.inr", NULL, NS16550_IRQ);
@@ -198,5 +198,5 @@
 	    (uintptr_t) NS16550_BASE);
 #endif
-	
+
 #ifdef CONFIG_I8042
 	i8042_instance_t *i8042_instance = i8042_init((i8042_t *) I8042_BASE,
@@ -211,5 +211,5 @@
 	}
 #endif
-	
+
 	sysinfo_set_item_val("ia64_iospace", NULL, true);
 	sysinfo_set_item_val("ia64_iospace.address", NULL, true);
@@ -251,5 +251,5 @@
 	    kernel_uarg->uspace_stack_size / 2,
 	    (uintptr_t) kernel_uarg->uspace_uarg, psr.value, rsc.value);
-	
+
 	while (1);
 }
@@ -274,5 +274,5 @@
 	fptr->fnc = (sysarg_t) addr;
 	fptr->gp = ((sysarg_t *) caller)[1];
-	
+
 	return (void *) fptr;
 }