motion_event     2219 dev/wscons/wsdisplay.c 			motion_event(mouse_event.type, mouse_event.value);
motion_event       45 dev/wscons/wsmoused.h void motion_event(u_int, int);