static void vfio_disable_interrupts(VFIOPCIDevice *vdev)

{

    switch (vdev->interrupt) {

    case VFIO_INT_INTx:

        vfio_disable_intx(vdev);

        break;

    case VFIO_INT_MSI:

        vfio_disable_msi(vdev);

        break;

    case VFIO_INT_MSIX:

        vfio_disable_msix(vdev);

        break;

    }

}

static void vfio_disable_interrupts(VFIOPCIDevice *vdev)

{

    switch (vdev->interrupt) {

    case VFIO_INT_INTx:

        vfio_disable_intx(vdev);

        break;

    case VFIO_INT_MSI:

        vfio_disable_msi(vdev);

        break;

    case VFIO_INT_MSIX:

        vfio_disable_msix(vdev);

        break;

    }

}

    switch (vdev->interrupt) {     case VFIO_INT_INTx:         vfio_disable_intx(vdev);         break;     case VFIO_INT_MSI:         vfio_disable_msi(vdev);         break;     case VFIO_INT_MSIX:         break;
static void FUNC_0(VFIOPCIDevice *VAR_0)

{

    switch (VAR_0->interrupt) {

    case VFIO_INT_INTx:

        vfio_disable_intx(VAR_0);

        break;

    case VFIO_INT_MSI:

        vfio_disable_msi(VAR_0);

        break;

    case VFIO_INT_MSIX:

        vfio_disable_msix(VAR_0);

        break;

    }

}

static void FUNC_0(VFIOPCIDevice *VAR_0)
{ switch (VAR_0->interrupt) { case VFIO_INT_INTx:
vfio_disable_intx(VAR_0); break; case VFIO_INT_MSI:
vfio_disable_msi(VAR_0); break; case VFIO_INT_MSIX:
vfio_disable_msix(VAR_0); break; } }