int xmon_read_poll(void) { if (udbg_getc_poll) return udbg_getc_poll(); return -1; }
static int hvc_udbg_get(uint32_t vtermno, char *buf, int count) { int i, c; if (!udbg_getc_poll) return 0; for (i = 0; i < count; i++) { if ((c = udbg_getc_poll()) == -1) break; buf[i] = c; } return i; }