static void vfio_put_device(VFIOPCIDevice *vdev)

{

    QLIST_REMOVE(vdev, next);

    vdev->vbasedev.group = NULL;

    trace_vfio_put_device(vdev->vbasedev.fd);

    close(vdev->vbasedev.fd);

    g_free(vdev->vbasedev.name);

    if (vdev->msix) {

        g_free(vdev->msix);

        vdev->msix = NULL;

    }

}

static void vfio_put_device(VFIOPCIDevice *vdev)

{

    QLIST_REMOVE(vdev, next);

    vdev->vbasedev.group = NULL;

    trace_vfio_put_device(vdev->vbasedev.fd);

    close(vdev->vbasedev.fd);

    g_free(vdev->vbasedev.name);

    if (vdev->msix) {

        g_free(vdev->msix);

        vdev->msix = NULL;

    }

}

static void FUNC_0(VFIOPCIDevice *VAR_0)

{

    QLIST_REMOVE(VAR_0, next);

    VAR_0->vbasedev.group = NULL;

    trace_vfio_put_device(VAR_0->vbasedev.fd);

    close(VAR_0->vbasedev.fd);

    g_free(VAR_0->vbasedev.name);

    if (VAR_0->msix) {

        g_free(VAR_0->msix);

        VAR_0->msix = NULL;

    }

}

static void FUNC_0(VFIOPCIDevice *VAR_0)
{ QLIST_REMOVE(VAR_0, next); VAR_0->vbasedev.group = NULL; trace_vfio_put_device(VAR_0->vbasedev.fd); close(VAR_0->vbasedev.fd); g_free(VAR_0->vbasedev.name); if (VAR_0->msix) { g_free(VAR_0->msix); VAR_0->msix = NULL; } }