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,