/* snt_poll_getc - Get a character from the console in polling mode  */
static int snt_poll_getc(void)
/* snt_poll_getc - Get a character from the console in polling mode  */
static int snt_poll_getc(void)
{
	int ch;
	ia64_sn_console_getc(&ch);
	return ch;
}