mthca_free_agents  588 drivers/infiniband/hw/mthca/mthca_dev.h void mthca_free_agents(struct mthca_dev *dev);
mthca_free_agents 1087 drivers/infiniband/hw/mthca/mthca_main.c 		mthca_free_agents(mdev);