wscons_read 72 bsp/drv/dev/base/wscons.c static int wscons_read(device_t, char *, size_t *, int); wscons_read 84 bsp/drv/dev/base/wscons.c /* read */ wscons_read,