sys/dev/wscons/wsdisplay.c

1578

wsmuxdata.type = WSMUX_KBD;

sys/dev/wscons/wsdisplay.c

1583

wsmuxdata.type = WSMUX_KBD;

sys/dev/wscons/wsdisplay.c

1595

if (d->idx == -1 && d->type == WSMUX_KBD)

sys/dev/wscons/wskbd.c

343

WSMUX_KBD,

sys/dev/wscons/wsmux.c

438

case WSMUX_KBD:

usr.sbin/wsconscfg/wsconscfg.c

138

wmd.type = mux ? WSMUX_MUX : WSMUX_KBD;

usr.sbin/wsmuxctl/wsmuxctl.c

65

mdev->type = WSMUX_KBD;

usr.sbin/wsmuxctl/wsmuxctl.c

92

case WSMUX_KBD: name = "wskbd"; break;