INPUT_DEVICE_ID_PROP_MAX
#if INPUT_PROP_MAX != INPUT_DEVICE_ID_PROP_MAX
kernel_ulong_t propbit[INPUT_DEVICE_ID_PROP_MAX / BITS_PER_LONG + 1];