handle_8051_interrupt 1049 drivers/infiniband/hw/hfi1/chip.c static void handle_8051_interrupt(struct hfi1_devdata *dd, u32 unused, u64 reg);
handle_8051_interrupt 1172 drivers/infiniband/hw/hfi1/chip.c /* 2*/	DC_EE2(DC_DC8051_ERR,	handle_8051_interrupt, "DC8051 Interrupt"),