dev_cleanup      1382 drivers/infiniband/core/device.c 		goto dev_cleanup;
dev_cleanup      1414 drivers/infiniband/core/device.c dev_cleanup:
dev_cleanup        58 drivers/infiniband/hw/hfi1/device.h void dev_cleanup(void);
dev_cleanup      1506 drivers/infiniband/hw/hfi1/init.c 	dev_cleanup();
dev_cleanup      1525 drivers/infiniband/hw/hfi1/init.c 	dev_cleanup();