wsmux_set_display
wsmux_set_display(mux, sc->sc_dev);
return wsmux_set_display(sc, displaydv);
int wsmux_set_display(struct wsmux_softc *, device_t);