Symbol: finish_chip_resources
drivers/infiniband/hw/hfi1/chip.c
14856
finish_chip_resources(dd);
drivers/infiniband/hw/hfi1/chip.h
719
void finish_chip_resources(struct hfi1_devdata *dd);