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