Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 48e1467a35ae7c97a4fc224626d5e0a0eab5ecb0)
@@ -146,5 +146,5 @@
 			printf(" -- Press any key to continue -- ");
 			spinlock_unlock(&exctbl_lock);
-			_getc(stdin);
+			indev_pop_character(stdin);
 			spinlock_lock(&exctbl_lock);
 			printf("\n");