/* snt_intr_getc - Get a character from the console, interrupt mode  */
static int snt_intr_getc(void)
/* snt_intr_getc - Get a character from the console, interrupt mode  */
static int snt_intr_getc(void)
{
	return ia64_sn_console_readc();
}