int arch_defterm_putc(u8 ch) { if (!pl011_lowlevel_can_putc(v2m_defterm_base)) { return VMM_EFAIL; } pl011_lowlevel_putc(v2m_defterm_base, ch); return VMM_OK; }
static int pl011_defterm_putc(u8 ch) { if (!pl011_lowlevel_can_putc(pl011_defterm_base)) { return VMM_EFAIL; } pl011_lowlevel_putc(pl011_defterm_base, ch); return VMM_OK; }