static void mthca_free_region(struct mthca_dev *dev, u32 lkey, int order, u32 first_seg, struct mthca_buddy *buddy) 
static void mthca_free_region(struct mthca_dev *dev, u32 lkey) 
static void mthca_free_region(struct mthca_dev *dev, u32 lkey, int order,			      u32 first_seg, struct mthca_buddy *buddy){	if (order >= 0)		mthca_free_mtt(dev, first_seg, order, buddy);	mthca_table_put(dev, dev->mr_table.mpt_table,			arbel_key_to_hw_index(lkey));	mthca_free(&dev->mr_table.mpt_alloc, key_to_hw_index(dev, lkey));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d56d6f9502a15ef64395cb3a6fc7bfdc365b1e3d/mthca_mr.c/clean/drivers/infiniband/hw/mthca/mthca_mr.c