INPUT_DEVICE_ID_LED_MAX
#if LED_MAX != INPUT_DEVICE_ID_LED_MAX
kernel_ulong_t ledbit[INPUT_DEVICE_ID_LED_MAX / BITS_PER_LONG + 1];
do_input(alias, *ledbit, 0, INPUT_DEVICE_ID_LED_MAX);