static void vfio_disable_msix(VFIODevice *vdev)
{
    msix_unset_vector_notifiers(&vdev->pdev);
    if (vdev->nr_vectors) {
        vfio_disable_irqindex(vdev, VFIO_PCI_MSIX_IRQ_INDEX);
    vfio_disable_msi_common(vdev);
    DPRINTF("%s(%04x:%02x:%02x.%x)\n", __func__, vdev->host.domain,
            vdev->host.bus, vdev->host.slot, vdev->host.function);
static void vfio_disable_msix(VFIODevice *vdev)
{
    msix_unset_vector_notifiers(&vdev->pdev);
    if (vdev->nr_vectors) {
        vfio_disable_irqindex(vdev, VFIO_PCI_MSIX_IRQ_INDEX);
    vfio_disable_msi_common(vdev);
    DPRINTF("%s(%04x:%02x:%02x.%x)\n", __func__, vdev->host.domain,
            vdev->host.bus, vdev->host.slot, vdev->host.function);
static void FUNC_0(VFIODevice *VAR_0)
{
    msix_unset_vector_notifiers(&VAR_0->pdev);
    if (VAR_0->nr_vectors) {
        vfio_disable_irqindex(VAR_0, VFIO_PCI_MSIX_IRQ_INDEX);
    vfio_disable_msi_common(VAR_0);
    DPRINTF("%s(%04x:%02x:%02x.%x)\n", __func__, VAR_0->host.domain,
            VAR_0->host.bus, VAR_0->host.slot, VAR_0->host.function);
static void FUNC_0(VFIODevice *VAR_0)
{ msix_unset_vector_notifiers(&VAR_0->pdev); if (VAR_0->nr_vectors) { vfio_disable_irqindex(VAR_0, VFIO_PCI_MSIX_IRQ_INDEX); vfio_disable_msi_common(VAR_0); DPRINTF("%s(%04x:%02x:%02x.%x)\n", __func__, VAR_0->host.domain,
VAR_0->host.bus, VAR_0->host.slot, VAR_0->host.function);