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; }