ctrl_event       2232 dev/wscons/wsdisplay.c 			return (ctrl_event(mouse_event.type, mouse_event.value,
ctrl_event         47 dev/wscons/wsmoused.h int ctrl_event(u_int, int, struct wsdisplay_softc *, struct proc *);