static void slavio_set_timer_irq_cpu(void *opaque, int cpu, int level)

{

    SLAVIO_INTCTLState *s = opaque;



    DPRINTF("Set cpu %d local level %d\n", cpu, level);

    if (!s->cpu_envs[cpu])

        return;



    if (level) {

        s->intreg_pending[cpu] |= s->cputimer_bit;

    } else {

        s->intreg_pending[cpu] &= ~s->cputimer_bit;

    }



    slavio_check_interrupts(s);

}

static void slavio_set_timer_irq_cpu(void *opaque, int cpu, int level)

{

    SLAVIO_INTCTLState *s = opaque;



    DPRINTF("Set cpu %d local level %d\n", cpu, level);

    if (!s->cpu_envs[cpu])

        return;



    if (level) {

        s->intreg_pending[cpu] |= s->cputimer_bit;

    } else {

        s->intreg_pending[cpu] &= ~s->cputimer_bit;

    }



    slavio_check_interrupts(s);

}

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

{

    SLAVIO_INTCTLState *s = VAR_0;



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

    if (!s->cpu_envs[VAR_1])

        return;



    if (VAR_2) {

        s->intreg_pending[VAR_1] |= s->cputimer_bit;

    } else {

        s->intreg_pending[VAR_1] &= ~s->cputimer_bit;

    }



    slavio_check_interrupts(s);

}

static void FUNC_0(void *VAR_0, int VAR_1, int VAR_2)
{ SLAVIO_INTCTLState *s = VAR_0; DPRINTF("Set VAR_1 %d local VAR_2 %d\n", VAR_1, VAR_2); if (!s->cpu_envs[VAR_1])
return; if (VAR_2) { s->intreg_pending[VAR_1] |= s->cputimer_bit; } else { s->intreg_pending[VAR_1] &= ~s->cputimer_bit; } slavio_check_interrupts(s); }