wsmouse_add_mux   426 dev/wscons/wsmux.c 			return (wsmouse_add_mux(d->idx, sc));
wsmouse_add_mux   105 dev/wscons/wsmuxvar.h int	wsmouse_add_mux(int, struct wsmux_softc *);