hfi1_device_remove 2045 drivers/infiniband/hw/hfi1/hfi.h void hfi1_device_remove(struct hfi1_devdata *dd);
hfi1_device_remove 1761 drivers/infiniband/hw/hfi1/init.c 			hfi1_device_remove(dd);
hfi1_device_remove 1801 drivers/infiniband/hw/hfi1/init.c 	hfi1_device_remove(dd);