finish_chip_resources 14696 drivers/infiniband/hw/hfi1/chip.c finish_chip_resources(dd); finish_chip_resources 755 drivers/infiniband/hw/hfi1/chip.h void finish_chip_resources(struct hfi1_devdata *dd);