wsmuxvar.h   72 dev/wscons/wsdisplay.c #include <dev/wscons/wsmuxvar.h>
wsmuxvar.h  127 dev/wscons/wskbd.c #include <dev/wscons/wsmuxvar.h>
wsmuxvar.h  106 dev/wscons/wsmouse.c #include <dev/wscons/wsmuxvar.h>
wsmuxvar.h   71 dev/wscons/wsmux.c #include <dev/wscons/wsmuxvar.h>