int uart_pl011_getc() { int c; while (!uart_pl011_rxready()) ; c = __uart_getreg(uart_base, UART_DR) & 0xff; return (c); }
static int uart_pl011_getc(struct uart_bas *bas, struct mtx *hwmtx) { int c; while (!uart_pl011_rxready(bas)) ; c = __uart_getreg(bas, UART_DR) & 0xff; return (c); }