static void virtio_pci_reset(void *opaque)

{

    VirtIOPCIProxy *proxy = opaque;

    virtio_reset(proxy->vdev);

    msix_reset(&proxy->pci_dev);

}

static void virtio_pci_reset(void *opaque)

{

    VirtIOPCIProxy *proxy = opaque;

    virtio_reset(proxy->vdev);

    msix_reset(&proxy->pci_dev);

}

static void virtio_pci_reset(void *opaque)     VirtIOPCIProxy *proxy = opaque;
static void FUNC_0(void *VAR_0)

{

    VirtIOPCIProxy *proxy = VAR_0;

    virtio_reset(proxy->vdev);

    msix_reset(&proxy->pci_dev);

}

static void FUNC_0(void *VAR_0)
{ VirtIOPCIProxy *proxy = VAR_0; virtio_reset(proxy->vdev); msix_reset(&proxy->pci_dev); }