wscons_write       73 bsp/drv/dev/base/wscons.c static int	wscons_write(device_t, char *, size_t *, int);
wscons_write       85 bsp/drv/dev/base/wscons.c 	/* write */	wscons_write,