 if (dev->mr_table.tavor_fmr.mtt_base) iounmap(dev->mr_table.tavor_fmr.mtt_base); if (dev->mr_table.tavor_fmr.mpt_base) iounmap(dev->mr_table.tavor_fmr.mpt_base);  
void __devexit mthca_cleanup_mr_table(struct mthca_dev *dev){	/* XXX check if any MRs are still allocated? */	mthca_buddy_cleanup(&dev->mr_table.mtt_buddy);	mthca_alloc_cleanup(&dev->mr_table.mpt_alloc);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e0f5fdca1ca9d1659b920827e5cf6dbad20e5391/mthca_mr.c/clean/drivers/infiniband/hw/mthca/mthca_mr.c