MIC_X100_NUM_RDMASR_IRQ   31 drivers/misc/mic/card/mic_x100.h #define MIC_X100_NUM_RDMASR_IRQ 8
MIC_X100_NUM_RDMASR_IRQ   58 drivers/misc/mic/host/mic_x100.h #define MIC_X100_NUM_RDMASR_IRQ 8