wsmoused_dev      199 dev/wscons/wsdisplay.c 	dev_t wsmoused_dev; /* device opened by wsmoused(8), when active */
wsmoused_dev     2331 dev/wscons/wsdisplay.c 		ws_sc->wsmoused_dev = value;
wsmoused_dev     2335 dev/wscons/wsdisplay.c 		ws_sc->wsmoused_dev = 0;
wsmoused_dev     3242 dev/wscons/wsdisplay.c 	if (sc->wsmoused_dev) {
wsmoused_dev     3256 dev/wscons/wsdisplay.c 		if (cdevsw[major(sc->wsmoused_dev)].d_open == wsmuxopen)
wsmoused_dev     3259 dev/wscons/wsdisplay.c 		if (is_wsmux && (minor(sc->wsmoused_dev) == WSMOUSEDEVCF_MUX)) {
wsmoused_dev     3268 dev/wscons/wsdisplay.c 			if (cdevsw[major(sc->wsmoused_dev)].d_open ==
wsmoused_dev     3273 dev/wscons/wsdisplay.c 		if (is_wsmouse && (minor(sc->wsmoused_dev) <= NWSMOUSE)) {
wsmoused_dev     3275 dev/wscons/wsdisplay.c 			if (minor(sc->wsmoused_dev) < wsmouse_cd.cd_ndevs) {
wsmoused_dev     3277 dev/wscons/wsdisplay.c 				    wsms_dev_list[minor(sc->wsmoused_dev)];
wsmoused_dev     3298 dev/wscons/wsdisplay.c 	if (sc->wsmoused_dev) {