WSKBD_TRANSLATED 917 dev/wscons/wsdisplay.c int kbmode = WSKBD_TRANSLATED; WSKBD_TRANSLATED 1081 dev/wscons/wsdisplay.c WSKBD_RAW : WSKBD_TRANSLATED); WSKBD_TRANSLATED 1591 dev/wscons/wsdisplay.c data = raw ? WSKBD_RAW : WSKBD_TRANSLATED; WSKBD_TRANSLATED 530 dev/wscons/wsdisplay_compat_usl.c intarg = WSKBD_TRANSLATED;