static int vfio_pci_hot_reset_multi(VFIOPCIDevice *vdev)

{

    return vfio_pci_hot_reset(vdev, false);

}

static int vfio_pci_hot_reset_multi(VFIOPCIDevice *vdev)

{

    return vfio_pci_hot_reset(vdev, false);

}

static int FUNC_0(VFIOPCIDevice *VAR_0)

{

    return vfio_pci_hot_reset(VAR_0, false);

}

static int FUNC_0(VFIOPCIDevice *VAR_0)
{ return vfio_pci_hot_reset(VAR_0, false); }