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);