int udbg_read(char *buf, int buflen) { char *p = buf; int i, c; if (!udbg_getc) return 0; for (i = 0; i < buflen; ++i) { do { c = udbg_getc(); if (c == -1 && i == 0) return -1; } while (c == 0x11 || c == 0x13); if (c == 0 || c == -1) break; *p++ = c; } return i; }
static int xmon_readchar(void) { if (udbg_getc) return udbg_getc(); return -1; }