static void pcie_pci_bridge_write_config(PCIDevice *d,

        uint32_t address, uint32_t val, int len)

{

    pci_bridge_write_config(d, address, val, len);

    msi_write_config(d, address, val, len);

    shpc_cap_write_config(d, address, val, len);

}

static void pcie_pci_bridge_write_config(PCIDevice *d,

        uint32_t address, uint32_t val, int len)

{

    pci_bridge_write_config(d, address, val, len);

    msi_write_config(d, address, val, len);

    shpc_cap_write_config(d, address, val, len);

}

    msi_write_config(d, address, val, len);
static void FUNC_0(PCIDevice *VAR_0,

        uint32_t VAR_1, uint32_t VAR_2, int VAR_3)

{

    pci_bridge_write_config(VAR_0, VAR_1, VAR_2, VAR_3);

    msi_write_config(VAR_0, VAR_1, VAR_2, VAR_3);

    shpc_cap_write_config(VAR_0, VAR_1, VAR_2, VAR_3);

}

static void FUNC_0(PCIDevice *VAR_0,
uint32_t VAR_1, uint32_t VAR_2, int VAR_3)
{ pci_bridge_write_config(VAR_0, VAR_1, VAR_2, VAR_3); msi_write_config(VAR_0, VAR_1, VAR_2, VAR_3); shpc_cap_write_config(VAR_0, VAR_1, VAR_2, VAR_3); }