static void virtio_write_config(PCIDevice *pci_dev, uint32_t address,

                                uint32_t val, int len)

{

    pci_default_write_config(pci_dev, address, val, len);

    msix_write_config(pci_dev, address, val, len);

}

static void virtio_write_config(PCIDevice *pci_dev, uint32_t address,

                                uint32_t val, int len)

{

    pci_default_write_config(pci_dev, address, val, len);

    msix_write_config(pci_dev, address, val, len);

}

    msix_write_config(pci_dev, address, val, len);
static void FUNC_0(PCIDevice *VAR_0, uint32_t VAR_1,

                                uint32_t VAR_2, int VAR_3)

{

    pci_default_write_config(VAR_0, VAR_1, VAR_2, VAR_3);

    msix_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_default_write_config(VAR_0, VAR_1, VAR_2, VAR_3); msix_write_config(VAR_0, VAR_1, VAR_2, VAR_3); }