static inline void pci_exp_set_dev_base(int bus, int devfn) 
static inline void pci_exp_set_dev_base(unsigned int seg, int bus, int devfn) 
static inline void pci_exp_set_dev_base(int bus, int devfn){	u32 dev_base = pci_mmcfg_config[0].base_address | (bus << 20) | (devfn << 12);	if (dev_base != mmcfg_last_accessed_device) {		mmcfg_last_accessed_device = dev_base;		set_fixmap_nocache(FIX_PCIE_MCFG, dev_base);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d57e26ceb7dbf44cd08128cb6146116d4281b58b/mmconfig.c/clean/arch/i386/pci/mmconfig.c