static void vfio_intp_inject_pending_lockheld(VFIOINTp *intp)

{

    trace_vfio_platform_intp_inject_pending_lockheld(intp->pin,

                              event_notifier_get_fd(&intp->interrupt));



    intp->state = VFIO_IRQ_ACTIVE;



    /* trigger the virtual IRQ */

    qemu_set_irq(intp->qemuirq, 1);

}

static void vfio_intp_inject_pending_lockheld(VFIOINTp *intp)

{

    trace_vfio_platform_intp_inject_pending_lockheld(intp->pin,

                              event_notifier_get_fd(&intp->interrupt));



    intp->state = VFIO_IRQ_ACTIVE;



    

    qemu_set_irq(intp->qemuirq, 1);

}

static void FUNC_0(VFIOINTp *VAR_0)

{

    trace_vfio_platform_intp_inject_pending_lockheld(VAR_0->pin,

                              event_notifier_get_fd(&VAR_0->interrupt));



    VAR_0->state = VFIO_IRQ_ACTIVE;



    

    qemu_set_irq(VAR_0->qemuirq, 1);

}

static void FUNC_0(VFIOINTp *VAR_0)
{ trace_vfio_platform_intp_inject_pending_lockheld(VAR_0->pin,
event_notifier_get_fd(&VAR_0->interrupt)); VAR_0->state = VFIO_IRQ_ACTIVE; qemu_set_irq(VAR_0->qemuirq, 1); }