WSCONS_EVENT_WSMOUSED_OFF   99 dev/wscons/wsconsio.h 			     (type == WSCONS_EVENT_WSMOUSED_OFF)|| \
WSCONS_EVENT_WSMOUSED_OFF 2333 dev/wscons/wsdisplay.c 	if (type == WSCONS_EVENT_WSMOUSED_OFF) {