kbdmux            659 dev/wscons/wsdisplay.c wsdisplay_common_attach(struct wsdisplay_softc *sc, int console, int kbdmux,
kbdmux            671 dev/wscons/wsdisplay.c 	if (kbdmux >= 0)
kbdmux            672 dev/wscons/wsdisplay.c 		mux = wsmux_getmux(kbdmux);
kbdmux            680 dev/wscons/wsdisplay.c 	if (kbdmux >= 0)
kbdmux            681 dev/wscons/wsdisplay.c 		printf(" mux %d", kbdmux);
kbdmux            684 dev/wscons/wsdisplay.c 	if (kbdmux >= 0)