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