Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/ia64/src/interrupt.c	(revision 34e1206ec4dc79f0592077e3ee270fba91d1eb9d)
@@ -124,5 +124,5 @@
 {
 	assert(n <= VECTOR_MAX);
-	
+
 	if (n >= VECTORS_16_BUNDLE_START)
 		return vector_names_16_bundle[n - VECTORS_16_BUNDLE_START];
@@ -141,5 +141,5 @@
 	printf("cr.isr=%#0" PRIx64 "\tcr.ipsr=%#0" PRIx64 "\n",
 	    istate->cr_isr.value, istate->cr_ipsr.value);
-	
+
 	printf("cr.iip=%#0" PRIxPTR ", #%u\t(%s)\n",
 	    istate->cr_iip, istate->cr_isr.ei,
@@ -154,5 +154,5 @@
 {
 	const char *desc;
-	
+
 	switch (istate->cr_isr.ge_code) {
 	case GE_ILLEGALOP:
@@ -178,5 +178,5 @@
 		break;
 	}
-	
+
 	fault_if_from_uspace(istate, "General Exception (%s).", desc);
 	panic_badtrap(istate, n, "General Exception (%s).", desc);
@@ -209,5 +209,5 @@
 		istate->cr_ipsr.ri++;
 	}
-	
+
 	interrupts_enable();
 	ret = syscall_handler(istate->in0, istate->in1, istate->in2,
@@ -236,10 +236,10 @@
 {
 	cr_ivr_t ivr;
-	
+
 	ivr.value = ivr_read();
 	srlz_d();
-	
+
 	irq_t *irq;
-	
+
 	switch (ivr.vector) {
 	case INTERRUPT_SPURIOUS:
@@ -248,5 +248,5 @@
 #endif
 		break;
-	
+
 #ifdef CONFIG_SMP
 	case VECTOR_TLB_SHOOTDOWN_IPI:
@@ -255,5 +255,5 @@
 		break;
 #endif
-	
+
 	case INTERRUPT_TIMER:
 		irq = irq_dispatch_and_lock(ivr.vector);