handle_user_interrupt 8196 drivers/infiniband/hw/hfi1/chip.c 			handle_user_interrupt(rcd);
handle_user_interrupt 8227 drivers/infiniband/hw/hfi1/chip.c 			handle_user_interrupt(rcd);
handle_user_interrupt 1480 drivers/infiniband/hw/hfi1/hfi.h void handle_user_interrupt(struct hfi1_ctxtdata *rcd);