wsmux_detach_sc   624 dev/wscons/wsdisplay.c 		wsmux_detach_sc(sc->sc_input);	/* XXX not exactly correct */
wsmux_detach_sc   561 dev/wscons/wskbd.c 		wsmux_detach_sc(&sc->sc_base);
wsmux_detach_sc   812 dev/wscons/wskbd.c 		wsmux_detach_sc(&sc->sc_base);
wsmux_detach_sc   256 dev/wscons/wsmouse.c 		wsmux_detach_sc(&sc->sc_base);
wsmux_detach_sc   194 dev/wscons/wsmux.c 		wsmux_detach_sc(&sc->sc_base);
wsmux_detach_sc   445 dev/wscons/wsmux.c 				wsmux_detach_sc(me);
wsmux_detach_sc   101 dev/wscons/wsmuxvar.h void	wsmux_detach_sc(struct wsevsrc *);