WSDISPLAYIO_WSMOUSED 1257 dev/wscons/wsdisplay.c 	case WSDISPLAYIO_WSMOUSED:
WSDISPLAYIO_WSMOUSED 2217 dev/wscons/wsdisplay.c 	if (cmd == WSDISPLAYIO_WSMOUSED) {