mic_x100_send_rdmasr_intr  125 drivers/misc/mic/card/mic_x100.c 		mic_x100_send_rdmasr_intr(mw, rdmasr_index);
mic_x100_send_rdmasr_intr  159 drivers/misc/mic/host/mic_x100.c 		mic_x100_send_rdmasr_intr(mdev, rdmasr_db);