Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 8ba3dc78b01e2543d8a0b5b5961609d922cb60f3)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 94a981abc1b1f6cb7da12d150911fff15f3df1b1)
@@ -43,5 +43,4 @@
 #include <console/kconsole.h>
 #include <console/console.h>
-#include <console/chardev.h>
 #include <console/cmd.h>
 #include <panic.h>
@@ -69,11 +68,11 @@
 	
 	spinlock_lock(&exctbl_lock);
-
+	
 	old = exc_table[n].f;
 	exc_table[n].f = f;
 	exc_table[n].name = name;
-
-	spinlock_unlock(&exctbl_lock);	
-
+	
+	spinlock_unlock(&exctbl_lock);
+	
 	return old;
 }
@@ -149,5 +148,5 @@
 			printf(" -- Press any key to continue -- ");
 			spinlock_unlock(&exctbl_lock);
-			getc(stdin);
+			_getc(stdin);
 			spinlock_lock(&exctbl_lock);
 			printf("\n");