INPUT_DEVICE_ID_KEY_MAX
#if KEY_MAX != INPUT_DEVICE_ID_KEY_MAX
kernel_ulong_t keybit[INPUT_DEVICE_ID_KEY_MAX / BITS_PER_LONG + 1];
INPUT_DEVICE_ID_KEY_MAX);