rdmasr_index      119 drivers/misc/mic/card/mic_x100.c 	int rdmasr_index;
rdmasr_index      124 drivers/misc/mic/card/mic_x100.c 		rdmasr_index = db - MIC_X100_NUM_SBOX_IRQ;
rdmasr_index      125 drivers/misc/mic/card/mic_x100.c 		mic_x100_send_rdmasr_intr(mw, rdmasr_index);
rdmasr_index      150 drivers/misc/mic/card/mic_x100.c 	int rdmasr_index;
rdmasr_index      159 drivers/misc/mic/card/mic_x100.c 		rdmasr_index = db - MIC_X100_NUM_SBOX_IRQ;
rdmasr_index      160 drivers/misc/mic/card/mic_x100.c 		return mic_get_rdmasr_irq(rdmasr_index);