WSKBDIO_SETDEFAULTKEYREPEAT  986 dev/wscons/wskbd.c 	case WSKBDIO_SETDEFAULTKEYREPEAT:
WSKBDIO_SETDEFAULTKEYREPEAT 1065 dev/wscons/wskbd.c 	case WSKBDIO_SETDEFAULTKEYREPEAT: