Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 67a88c34de6b29d84b4ea8c0f06dfa98cbcf09bd)
@@ -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");