serial_write 58 bsp/drv/dev/serial/serial.c static int serial_write(device_t, char *, size_t *, int); serial_write 70 bsp/drv/dev/serial/serial.c /* write */ serial_write,