static void udbg_putc_beat(char c) { unsigned long rc; if (c == '\n') udbg_putc_beat('\r'); rc = beat_put_term_char(celleb_vtermno, 1, (uint64_t)c << 56, 0); }
static int hvc_beat_put_chars(uint32_t vtermno, const char *buf, int cnt) { unsigned long kb[2]; int rest, nlen; for (rest = cnt; rest > 0; rest -= nlen) { nlen = (rest > 16) ? 16 : rest; memcpy(kb, buf, nlen); beat_put_term_char(vtermno, nlen, kb[0], kb[1]); buf += nlen; } return cnt; }