WSMUX_KBD        1315 dev/wscons/wsdisplay.c 		if (d->idx == -1 && d->type == WSMUX_KBD)
WSMUX_KBD         280 dev/wscons/wskbd.c 	WSMUX_KBD,
WSMUX_KBD         429 dev/wscons/wsmux.c 		case WSMUX_KBD: