mouse_event      2215 dev/wscons/wsdisplay.c 	struct wscons_event mouse_event = *(struct wscons_event *)data;
mouse_event      2218 dev/wscons/wsdisplay.c 		if (IS_MOTION_EVENT(mouse_event.type)) {
mouse_event      2219 dev/wscons/wsdisplay.c 			motion_event(mouse_event.type, mouse_event.value);
mouse_event      2222 dev/wscons/wsdisplay.c 		if (IS_BUTTON_EVENT(mouse_event.type)) {
mouse_event      2224 dev/wscons/wsdisplay.c 			if (mouse_event.type == WSCONS_EVENT_MOUSE_DOWN) {
mouse_event      2225 dev/wscons/wsdisplay.c 				button_event(mouse_event.value,
mouse_event      2226 dev/wscons/wsdisplay.c 				    mouse_event.time.tv_sec);
mouse_event      2228 dev/wscons/wsdisplay.c 				button_event(mouse_event.value, 0);
mouse_event      2231 dev/wscons/wsdisplay.c 		if (IS_CTRL_EVENT(mouse_event.type)) {
mouse_event      2232 dev/wscons/wsdisplay.c 			return (ctrl_event(mouse_event.type, mouse_event.value,