return pci_mmcfg_virt + ((bus << 20) | (devfn << 12)); 
 return get_virt(seg, bus) + ((bus << 20) | (devfn << 12)); 
static inline char *pci_dev_base(unsigned int bus, unsigned int devfn){	return pci_mmcfg_virt + ((bus << 20) | (devfn << 12));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1cde8a16815bd85c8137d1ea556398983c597c11/mmconfig.c/clean/arch/x86_64/pci/mmconfig.c