wsevsrc_ioctl    1325 dev/wscons/wsdisplay.c 		return (wsevsrc_ioctl(inp, cmd, data, flag,p));
wsevsrc_ioctl     522 dev/wscons/wsmux.c 		error = wsevsrc_ioctl(me, cmd, data, flag, p);
wsevsrc_ioctl     641 dev/wscons/wsmux.c 				(void)wsevsrc_ioctl(me, WSKBDIO_SETMODE,
wsevsrc_ioctl     645 dev/wscons/wsmux.c 					(void)wsevsrc_ioctl(me,
wsevsrc_ioctl     814 dev/wscons/wsmux.c 				(void)wsevsrc_ioctl(me, WSKBDIO_SETMODE,