wskbd_add_mux     430 dev/wscons/wsmux.c 			return (wskbd_add_mux(d->idx, sc));
wskbd_add_mux     104 dev/wscons/wsmuxvar.h int	wskbd_add_mux(int, struct wsmux_softc *);