wsmux_set_display  721 dev/wscons/wsdisplay.c 	wsmux_set_display(mux, &sc->sc_dv);
wsmux_set_display  777 dev/wscons/wsmux.c 	return wsmux_set_display(sc, displaydv);
wsmux_set_display  102 dev/wscons/wsmuxvar.h int	wsmux_set_display(struct wsmux_softc *, struct device *);