wscons_ioctl       74 bsp/drv/dev/base/wscons.c static int	wscons_ioctl(device_t, u_long, void *);
wscons_ioctl       86 bsp/drv/dev/base/wscons.c 	/* ioctl */	wscons_ioctl,