Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 0aa06cbe8a6965cc7f1ebfa7236bcd8d5316da16)
@@ -78,7 +78,7 @@
 	assert(n < IVT_ITEMS);
 #endif
-	
+
 	irq_spinlock_lock(&exctbl_lock, true);
-	
+
 	iroutine_t old = exc_table[n].handler;
 	exc_table[n].handler = handler;
@@ -87,7 +87,7 @@
 	exc_table[n].cycles = 0;
 	exc_table[n].count = 0;
-	
+
 	irq_spinlock_unlock(&exctbl_lock, true);
-	
+
 	return old;
 }
@@ -104,5 +104,5 @@
 	assert(n < IVT_ITEMS);
 #endif
-	
+
 	/* Account user cycles */
 	if (THREAD) {
@@ -111,5 +111,5 @@
 		irq_spinlock_unlock(&THREAD->lock, false);
 	}
-	
+
 	/* Account CPU usage if it woke up from sleep */
 	if (CPU && CPU->idle) {
@@ -121,31 +121,31 @@
 		irq_spinlock_unlock(&CPU->lock, false);
 	}
-	
+
 	uint64_t begin_cycle = get_cycle();
-	
+
 #ifdef CONFIG_UDEBUG
 	if (THREAD)
 		THREAD->udebug.uspace_state = istate;
 #endif
-	
+
 	exc_table[n].handler(n + IVT_FIRST, istate);
-	
+
 #ifdef CONFIG_UDEBUG
 	if (THREAD)
 		THREAD->udebug.uspace_state = NULL;
 #endif
-	
+
 	/* This is a safe place to exit exiting thread */
 	if ((THREAD) && (THREAD->interrupted) && (istate_from_uspace(istate)))
 		thread_exit();
-	
+
 	/* Account exception handling */
 	uint64_t end_cycle = get_cycle();
-	
+
 	irq_spinlock_lock(&exctbl_lock, false);
 	exc_table[n].cycles += end_cycle - begin_cycle;
 	exc_table[n].count++;
 	irq_spinlock_unlock(&exctbl_lock, false);
-	
+
 	/* Do not charge THREAD for exception cycles */
 	if (THREAD) {
@@ -171,12 +171,12 @@
 	    "program counter %p.\n", TASK->name, TASK->taskid,
 	    (void *) istate_get_pc(istate));
-	
+
 	istate_decode(istate);
 	stack_trace_istate(istate);
-	
+
 	printf("Kill message: ");
 	vprintf(fmt, args);
 	printf("\n");
-	
+
 	task_kill_self(true);
 }
@@ -201,5 +201,5 @@
 	if (!istate_from_uspace(istate))
 		return;
-	
+
 	va_list args;
 	va_start(args, fmt);
@@ -236,5 +236,5 @@
 {
 	bool excs_all;
-	
+
 	if (str_cmp(flag_buf, "-a") == 0)
 		excs_all = true;
@@ -245,11 +245,11 @@
 		return 1;
 	}
-	
+
 #if (IVT_ITEMS > 0)
 	unsigned int i;
 	unsigned int rows;
-	
+
 	irq_spinlock_lock(&exctbl_lock, true);
-	
+
 #ifdef __32_BITS__
 	printf("[exc   ] [description       ] [count   ] [cycles  ]"
@@ -257,5 +257,5 @@
 	rows = 1;
 #endif
-	
+
 #ifdef __64_BITS__
 	printf("[exc   ] [description       ] [count   ] [cycles  ]"
@@ -264,31 +264,31 @@
 	rows = 2;
 #endif
-	
+
 	for (i = 0; i < IVT_ITEMS; i++) {
 		if ((!excs_all) && (!exc_table[i].hot))
 			continue;
-		
+
 		uint64_t count;
 		char count_suffix;
-		
+
 		order_suffix(exc_table[i].count, &count, &count_suffix);
-		
+
 		uint64_t cycles;
 		char cycles_suffix;
-		
+
 		order_suffix(exc_table[i].cycles, &cycles, &cycles_suffix);
-		
+
 		const char *symbol =
 		    symtab_fmt_name_lookup((sysarg_t) exc_table[i].handler);
-		
+
 #ifdef __32_BITS__
 		printf("%-8u %-20s %9" PRIu64 "%c %9" PRIu64 "%c %10p %s\n",
 		    i + IVT_FIRST, exc_table[i].name, count, count_suffix,
 		    cycles, cycles_suffix, exc_table[i].handler, symbol);
-		
+
 		PAGING(rows, 1, irq_spinlock_unlock(&exctbl_lock, true),
 		    irq_spinlock_lock(&exctbl_lock, true));
 #endif
-		
+
 #ifdef __64_BITS__
 		printf("%-8u %-20s %9" PRIu64 "%c %9" PRIu64 "%c %18p\n",
@@ -296,17 +296,17 @@
 		    cycles, cycles_suffix, exc_table[i].handler);
 		printf("         %s\n", symbol);
-		
+
 		PAGING(rows, 2, irq_spinlock_unlock(&exctbl_lock, true),
 		    irq_spinlock_lock(&exctbl_lock, true));
 #endif
 	}
-	
+
 	irq_spinlock_unlock(&exctbl_lock, true);
 #else /* (IVT_ITEMS > 0) */
-	
+
 	printf("No exception table%s.\n", excs_all ? " (showing all exceptions)" : "");
-	
+
 #endif /* (IVT_ITEMS > 0) */
-	
+
 	return 1;
 }
@@ -335,12 +335,12 @@
 {
 	(void) exc_undef;
-	
+
 #if (IVT_ITEMS > 0)
 	unsigned int i;
-	
+
 	for (i = 0; i < IVT_ITEMS; i++)
 		exc_register(i, "undef", false, (iroutine_t) exc_undef);
 #endif
-	
+
 #ifdef CONFIG_KCONSOLE
 	cmd_initialize(&exc_info);