WSKBDIO_SETKEYREPEAT  985 dev/wscons/wskbd.c 	case WSKBDIO_SETKEYREPEAT:
WSKBDIO_SETKEYREPEAT 1051 dev/wscons/wskbd.c 	case WSKBDIO_SETKEYREPEAT: