static int vfio_start_eventfd_injection(VFIOINTp *intp)

{

    int ret;



    ret = vfio_set_trigger_eventfd(intp, vfio_intp_interrupt);

    if (ret) {

        error_report("vfio: Error: Failed to pass IRQ fd to the driver: %m");

    }

    return ret;

}

static int vfio_start_eventfd_injection(VFIOINTp *intp)

{

    int ret;



    ret = vfio_set_trigger_eventfd(intp, vfio_intp_interrupt);

    if (ret) {

        error_report("vfio: Error: Failed to pass IRQ fd to the driver: %m");

    }

    return ret;

}

static int vfio_start_eventfd_injection(VFIOINTp *intp)         error_report("vfio: Error: Failed to pass IRQ fd to the driver: %m");     return ret;
static int FUNC_0(VFIOINTp *VAR_0)

{

    int VAR_1;



    VAR_1 = vfio_set_trigger_eventfd(VAR_0, vfio_intp_interrupt);

    if (VAR_1) {

        error_report("vfio: Error: Failed to pass IRQ fd to the driver: %m");

    }

    return VAR_1;

}

static int FUNC_0(VFIOINTp *VAR_0)
{ int VAR_1; VAR_1 = vfio_set_trigger_eventfd(VAR_0, vfio_intp_interrupt); if (VAR_1) { error_report("vfio: Error: Failed to pass IRQ fd to the driver: %m"); } return VAR_1; }