void gic_set_pending_private(GICState *s, int cpu, int irq)

{

    int cm = 1 << cpu;



    if (GIC_TEST_PENDING(irq, cm))

        return;



    DPRINTF("Set %d pending cpu %d\n", irq, cpu);

    GIC_SET_PENDING(irq, cm);

    gic_update(s);

}

void gic_set_pending_private(GICState *s, int cpu, int irq)

{

    int cm = 1 << cpu;



    if (GIC_TEST_PENDING(irq, cm))

        return;



    DPRINTF("Set %d pending cpu %d\n", irq, cpu);

    GIC_SET_PENDING(irq, cm);

    gic_update(s);

}

void FUNC_0(GICState *VAR_0, int VAR_1, int VAR_2)

{

    int VAR_3 = 1 << VAR_1;



    if (GIC_TEST_PENDING(VAR_2, VAR_3))

        return;



    DPRINTF("Set %d pending VAR_1 %d\n", VAR_2, VAR_1);

    GIC_SET_PENDING(VAR_2, VAR_3);

    gic_update(VAR_0);

}

void FUNC_0(GICState *VAR_0, int VAR_1, int VAR_2)
{ int VAR_3 = 1 << VAR_1; if (GIC_TEST_PENDING(VAR_2, VAR_3))
return; DPRINTF("Set %d pending VAR_1 %d\n", VAR_2, VAR_1); GIC_SET_PENDING(VAR_2, VAR_3); gic_update(VAR_0); }