INPUT_DEVICE_ID_EV_MAX
#if EV_MAX != INPUT_DEVICE_ID_EV_MAX
kernel_ulong_t evbit[INPUT_DEVICE_ID_EV_MAX / BITS_PER_LONG + 1];
do_input(alias, *evbit, 0, INPUT_DEVICE_ID_EV_MAX);