arbel_key_to_hw_index(lkey)); 
key_to_hw_index(dev, lkey)); 
static void mthca_free_region(struct mthca_dev *dev, u32 lkey){	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));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7f9f2dba729cee6ea10596ccb07447d467705b08/mthca_mr.c/clean/drivers/infiniband/hw/mthca/mthca_mr.c