mthca_cleanup_srq_table(mdev); 
static void __devexit mthca_remove_one(struct pci_dev *pdev){	struct mthca_dev *mdev = pci_get_drvdata(pdev);	u8 status;	int p;	if (mdev) {		mthca_free_agents(mdev);		mthca_unregister_device(mdev);		for (p = 1; p <= mdev->limits.num_ports; ++p)			mthca_CLOSE_IB(mdev, p, &status);		mthca_cleanup_mcg_table(mdev);		mthca_cleanup_av_table(mdev);		mthca_cleanup_qp_table(mdev);		mthca_cleanup_cq_table(mdev);		mthca_cmd_use_polling(mdev);		mthca_cleanup_eq_table(mdev);		mthca_pd_free(mdev, &mdev->driver_pd);		mthca_cleanup_mr_table(mdev);		mthca_cleanup_pd_table(mdev);		iounmap(mdev->kar);		mthca_uar_free(mdev, &mdev->driver_uar);		mthca_cleanup_uar_table(mdev);		mthca_close_hca(mdev);		mthca_cmd_cleanup(mdev);		if (mdev->mthca_flags & MTHCA_FLAG_MSI_X)			pci_disable_msix(pdev);		if (mdev->mthca_flags & MTHCA_FLAG_MSI)			pci_disable_msi(pdev);		ib_dealloc_device(&mdev->ib_dev);		mthca_release_regions(pdev, mdev->mthca_flags &				      MTHCA_FLAG_DDR_HIDDEN);		pci_disable_device(pdev);		pci_set_drvdata(pdev, NULL);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ec34a922d243c3401a694450734e9effb2bafbfe/mthca_main.c/buggy/drivers/infiniband/hw/mthca/mthca_main.c