wsmouse_mux_close  153 dev/wscons/wsmouse.c int	wsmouse_mux_close(struct wsevsrc *);
wsmouse_mux_close  172 dev/wscons/wsmouse.c 	wsmouse_mux_open, wsmouse_mux_close, wsmousedoioctl, NULL, NULL