u32 dev_base = pci_mmcfg_config[0].base_address | (bus << 20) | (devfn << 12);
u32 dev_base = get_base_addr(seg, bus) | (bus << 20) | (devfn << 12);
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);	}}