wsmux_add_mux     112 dev/wscons/wsmux.c int	wsmux_add_mux(int, struct wsmux_softc *);
wsmux_add_mux     433 dev/wscons/wsmux.c 			return (wsmux_add_mux(d->idx, sc));