static void vfio_put_device(VFIOPCIDevice *vdev)

{

    g_free(vdev->vbasedev.name);

    if (vdev->msix) {


        g_free(vdev->msix);

        vdev->msix = NULL;

    }

    vfio_put_base_device(&vdev->vbasedev);

}
static void vfio_put_device(VFIOPCIDevice *vdev)

{

    g_free(vdev->vbasedev.name);

    if (vdev->msix) {


        g_free(vdev->msix);

        vdev->msix = NULL;

    }

    vfio_put_base_device(&vdev->vbasedev);

}
static void FUNC_0(VFIOPCIDevice *VAR_0)

{

    g_free(VAR_0->vbasedev.name);

    if (VAR_0->msix) {


        g_free(VAR_0->msix);

        VAR_0->msix = NULL;

    }

    vfio_put_base_device(&VAR_0->vbasedev);

}
static void FUNC_0(VFIOPCIDevice *VAR_0)
{ g_free(VAR_0->vbasedev.name); if (VAR_0->msix) { g_free(VAR_0->msix); VAR_0->msix = NULL; } vfio_put_base_device(&VAR_0->vbasedev); }