hkbd_ioctl_locked
(void)hkbd_ioctl_locked(kbd, KDSETLED, arg);
result = hkbd_ioctl_locked(kbd, cmd, arg);