hfi1_free_devdata 15141 drivers/infiniband/hw/hfi1/chip.c 	hfi1_free_devdata(dd);
hfi1_free_devdata 1969 drivers/infiniband/hw/hfi1/hfi.h void hfi1_free_devdata(struct hfi1_devdata *dd);
hfi1_free_devdata 1611 drivers/infiniband/hw/hfi1/init.c 	hfi1_free_devdata(dd);