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