static void pcie_mmcfg_data_write(PCIBus *s,

                                  uint32_t mmcfg_addr, uint32_t val, int len)

{

    PCIDevice *pci_dev = pcie_dev_find_by_mmcfg_addr(s, mmcfg_addr);



    if (!pci_dev) {

        return;

    }

    pci_host_config_write_common(pci_dev, PCIE_MMCFG_CONFOFFSET(mmcfg_addr),

                                 pci_config_size(pci_dev), val, len);

}

static void pcie_mmcfg_data_write(PCIBus *s,

                                  uint32_t mmcfg_addr, uint32_t val, int len)

{

    PCIDevice *pci_dev = pcie_dev_find_by_mmcfg_addr(s, mmcfg_addr);



    if (!pci_dev) {

        return;

    }

    pci_host_config_write_common(pci_dev, PCIE_MMCFG_CONFOFFSET(mmcfg_addr),

                                 pci_config_size(pci_dev), val, len);

}

    pci_host_config_write_common(pci_dev, PCIE_MMCFG_CONFOFFSET(mmcfg_addr),                                  pci_config_size(pci_dev), val, len);
static void FUNC_0(PCIBus *VAR_0,

                                  uint32_t VAR_1, uint32_t VAR_2, int VAR_3)

{

    PCIDevice *pci_dev = pcie_dev_find_by_mmcfg_addr(VAR_0, VAR_1);



    if (!pci_dev) {

        return;

    }

    pci_host_config_write_common(pci_dev, PCIE_MMCFG_CONFOFFSET(VAR_1),

                                 pci_config_size(pci_dev), VAR_2, VAR_3);

}

static void FUNC_0(PCIBus *VAR_0,
uint32_t VAR_1, uint32_t VAR_2, int VAR_3)
{ PCIDevice *pci_dev = pcie_dev_find_by_mmcfg_addr(VAR_0, VAR_1); if (!pci_dev) { return; } pci_host_config_write_common(pci_dev, PCIE_MMCFG_CONFOFFSET(VAR_1),
pci_config_size(pci_dev), VAR_2, VAR_3); }