rdmasr_db         154 drivers/misc/mic/host/mic_x100.c 	int rdmasr_db;
rdmasr_db         158 drivers/misc/mic/host/mic_x100.c 		rdmasr_db = doorbell - MIC_X100_NUM_SBOX_IRQ;
rdmasr_db         159 drivers/misc/mic/host/mic_x100.c 		mic_x100_send_rdmasr_intr(mdev, rdmasr_db);