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); }