int
getchar(void)
{
	char ch;
	u_long count;

	if (arcbios_Read(0, &ch, 1, &count) != ARCBIOS_ESUCCESS)
		return -1;

	return ch;
}
static int
arcbios_tty_getchar(int *cp)
{
	char c;
	int32_t q;
	u_long count;

	q = arcbios_GetReadStatus(ARCBIOS_STDIN);

	if (q == 0) {
		arcbios_Read(ARCBIOS_STDIN, &c, 1, &count);
		*cp = c;

		return 1;
	}

	return 0;
}