kbmode            917 dev/wscons/wsdisplay.c 		int kbmode = WSKBD_TRANSLATED;
kbmode            919 dev/wscons/wsdisplay.c 		    (caddr_t)&kbmode, FWRITE, p);