void gic_set_priority(GICState *s, int cpu, int irq, uint8_t val)

{

    if (irq < GIC_INTERNAL) {

        s->priority1[irq][cpu] = val;

    } else {

        s->priority2[(irq) - GIC_INTERNAL] = val;

    }

}

void gic_set_priority(GICState *s, int cpu, int irq, uint8_t val)

{

    if (irq < GIC_INTERNAL) {

        s->priority1[irq][cpu] = val;

    } else {

        s->priority2[(irq) - GIC_INTERNAL] = val;

    }

}

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

{

    if (VAR_2 < GIC_INTERNAL) {

        VAR_0->priority1[VAR_2][VAR_1] = VAR_3;

    } else {

        VAR_0->priority2[(VAR_2) - GIC_INTERNAL] = VAR_3;

    }

}

void FUNC_0(GICState *VAR_0, int VAR_1, int VAR_2, uint8_t VAR_3)
{ if (VAR_2 < GIC_INTERNAL) { VAR_0->priority1[VAR_2][VAR_1] = VAR_3; } else { VAR_0->priority2[(VAR_2) - GIC_INTERNAL] = VAR_3; } }