receive_context_thread 1443 drivers/infiniband/hw/hfi1/chip.h irqreturn_t receive_context_thread(int irq, void *data);
receive_context_thread  208 drivers/infiniband/hw/hfi1/msix.c 			      receive_context_thread, rcd->ctxt, IRQ_RCVCTXT);