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