INPUT_DEVICE_ID_SW_MAX
#if SW_MAX != INPUT_DEVICE_ID_SW_MAX
kernel_ulong_t swbit[INPUT_DEVICE_ID_SW_MAX / BITS_PER_LONG + 1];
do_input(alias, *swbit, 0, INPUT_DEVICE_ID_SW_MAX);