SETKEYREPEAT     1055 dev/wscons/wskbd.c 		SETKEYREPEAT(kkdp, ukdp, kkdp);
SETKEYREPEAT     1062 dev/wscons/wskbd.c 		SETKEYREPEAT(ukdp, kkdp, kkdp);