WSKBDIO_SETENCODING  988 dev/wscons/wskbd.c 	case WSKBDIO_SETENCODING:
WSKBDIO_SETENCODING 1110 dev/wscons/wskbd.c 	case WSKBDIO_SETENCODING:
WSKBDIO_SETENCODING  531 dev/wscons/wsmux.c 		if (cmd == WSKBDIO_SETENCODING) {
WSKBDIO_SETENCODING  646 dev/wscons/wsmux.c 					    WSKBDIO_SETENCODING,