is_wsmux         3239 dev/wscons/wsdisplay.c 	int is_wsmux = 0;
is_wsmux         3257 dev/wscons/wsdisplay.c 			is_wsmux = 1;
is_wsmux         3259 dev/wscons/wsdisplay.c 		if (is_wsmux && (minor(sc->wsmoused_dev) == WSMOUSEDEVCF_MUX)) {