 if (mthca_is_memfree(dev)) mthca_table_put_range(dev, dev->mr_table.mtt_table, seg, seg + (1 << order) - 1); 
mthca_table_put_range(dev, dev->mr_table.mtt_table, seg, seg + (1 << order) - 1); 
static void mthca_free_mtt(struct mthca_dev *dev, u32 seg, int order,			   struct mthca_buddy* buddy){	mthca_buddy_free(buddy, seg, order);	if (mthca_is_memfree(dev))		mthca_table_put_range(dev, dev->mr_table.mtt_table, seg,				      seg + (1 << order) - 1);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a03a5a67b243e9a24805ee18272ad25e5b2ca92c/mthca_mr.c/buggy/drivers/infiniband/hw/mthca/mthca_mr.c