void
pl011_serputs(char *s, int n) {
while(*s != 0 && n-- >=0) {
if (*s == '\n')
pl011_putc('\r');
pl011_putc(*s++);
}
}
void
pl011_puts(char *s) {
while(*s != 0) {
if (*s == '\n')
pl011_putc('\r');
pl011_putc(*s++);
}
}
void console_putc(int ch)
{
vaddr_t base = console_base();
if (ch == '\n')
pl011_putc('\r', base);
pl011_putc(ch, base);
}
static void
pl011_clock(void)
{
char c;
if (pl011_tstc()) {
c = pl011_getc();
if (c == 13) {
pl011_putc('\r');
pl011_putc('\n');
kbdputc(kbdq,'\r');
kbdputc(kbdq,'\n');
return;
}
pl011_putc(c);
kbdputc(kbdq,c);
}
}
void
pl011_addr(void *a, int nl)
{
int i;
unsigned char *ca = (unsigned char *)&a;
unsigned char h,l;
for (i=3;i>=0;--i) {
h = ca[i]/16;
l = ca[i]%16;
pl011_putc(h<10 ? h+0x30 : h-10+0x41);
pl011_putc(l<10 ? l+0x30 : l-10+0x41);
}
if (nl) {
pl011_putc(13);
pl011_putc(10);
}
}
void console_putc(int ch)
{
pl011_putc(ch, CONSOLE_UART_BASE);
if (ch == '\n')
pl011_putc('\r', CONSOLE_UART_BASE);
}
