void armv7m_nvic_complete_irq(void *opaque, int irq)

{

    nvic_state *s = (nvic_state *)opaque;

    if (irq >= 16)

        irq += 16;

    gic_complete_irq(&s->gic, 0, irq);

}

void armv7m_nvic_complete_irq(void *opaque, int irq)

{

    nvic_state *s = (nvic_state *)opaque;

    if (irq >= 16)

        irq += 16;

    gic_complete_irq(&s->gic, 0, irq);

}

void FUNC_0(void *VAR_0, int VAR_1)

{

    nvic_state *s = (nvic_state *)VAR_0;

    if (VAR_1 >= 16)

        VAR_1 += 16;

    gic_complete_irq(&s->gic, 0, VAR_1);

}

void FUNC_0(void *VAR_0, int VAR_1)
{ nvic_state *s = (nvic_state *)VAR_0; if (VAR_1 >= 16)
VAR_1 += 16; gic_complete_irq(&s->gic, 0, VAR_1); }