int i;  
void __devexit mthca_cleanup_mr_table(struct mthca_dev *dev){	int i;	/* XXX check if any MRs are still allocated? */	for (i = 0; i <= dev->mr_table.max_mtt_order; ++i)		kfree(dev->mr_table.mtt_buddy[i]);	kfree(dev->mr_table.mtt_buddy);	mthca_alloc_cleanup(&dev->mr_table.mpt_alloc);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9095e208d84c349193fa19245cd5a8bc1a9774b8/mthca_mr.c/clean/drivers/infiniband/hw/mthca/mthca_mr.c