Symbol: ctrl_event
sys/dev/wscons/wsdisplay.c
2534
return ctrl_event(sc, mouse_event.type,
sys/dev/wscons/wsmoused.h
42
int ctrl_event(struct wsdisplay_softc *, u_int, int, struct proc *);