reset_interrupts 13217 drivers/infiniband/hw/hfi1/chip.c 	reset_interrupts(dd);
reset_interrupts 1450 drivers/infiniband/hw/hfi1/chip.h void reset_interrupts(struct hfi1_devdata *dd);