static void translate_priority(GICState *s, int irq, int cpu,

                               uint32_t *field, bool to_kernel)

{

    if (to_kernel) {

        *field = GIC_GET_PRIORITY(irq, cpu) & 0xff;

    } else {

        gic_set_priority(s, cpu, irq, *field & 0xff);

    }

}

static void translate_priority(GICState *s, int irq, int cpu,

                               uint32_t *field, bool to_kernel)

{

    if (to_kernel) {

        *field = GIC_GET_PRIORITY(irq, cpu) & 0xff;

    } else {

        gic_set_priority(s, cpu, irq, *field & 0xff);

    }

}

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

                               uint32_t *VAR_3, bool VAR_4)

{

    if (VAR_4) {

        *VAR_3 = GIC_GET_PRIORITY(VAR_1, VAR_2) & 0xff;

    } else {

        gic_set_priority(VAR_0, VAR_2, VAR_1, *VAR_3 & 0xff);

    }

}

static void FUNC_0(GICState *VAR_0, int VAR_1, int VAR_2,
uint32_t *VAR_3, bool VAR_4)
{ if (VAR_4) { *VAR_3 = GIC_GET_PRIORITY(VAR_1, VAR_2) & 0xff; } else { gic_set_priority(VAR_0, VAR_2, VAR_1, *VAR_3 & 0xff); } }