dev->driver_uar.index * dev->uar_table.uarc_size + 
uar->index * dev->uar_table.uarc_size + 
static u64 mthca_uarc_virt(struct mthca_dev *dev, int page){	return dev->uar_table.uarc_base +		dev->driver_uar.index * dev->uar_table.uarc_size +		page * 4096;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/56483ec1b70221f8c9838ccc9a89b43d9de66993/mthca_memfree.c/buggy/drivers/infiniband/hw/mthca/mthca_memfree.c