pl011_uart_sendb 71 kernel/genarch/src/drivers/pl011/pl011.c pl011_uart_sendb(uart, '\r'); pl011_uart_sendb 73 kernel/genarch/src/drivers/pl011/pl011.c pl011_uart_sendb(uart, (uint8_t) *s);