dev/wscons/wsmux.c

834 	device_t displaydv = muxsc ? muxsc->sc_base.me_dispdv : NULL;
836 	DPRINTF(("wsmux_set_display: %s: displaydv=%p\n",
837 		 device_xname(sc->sc_base.me_dv), displaydv));
839 	if (displaydv != NULL) {
847 	return wsmux_set_display(sc, displaydv);
851 wsmux_set_display(struct wsmux_softc *sc, device_t displaydv)
855 	struct wsmux_softc *nsc = displaydv ? sc : NULL;
859 	sc->sc_base.me_dispdv = displaydv;
861 	if (displaydv)
863 		       device_xname(displaydv));
891 	if (displaydv == NULL)