void slavio_intctl_set_cpu(void *opaque, unsigned int cpu, CPUState *env)

{

    SLAVIO_INTCTLState *s = opaque;



    s->cpu_envs[cpu] = env;

}

void slavio_intctl_set_cpu(void *opaque, unsigned int cpu, CPUState *env)

{

    SLAVIO_INTCTLState *s = opaque;



    s->cpu_envs[cpu] = env;

}

void FUNC_0(void *VAR_0, unsigned int VAR_1, CPUState *VAR_2)

{

    SLAVIO_INTCTLState *s = VAR_0;



    s->cpu_envs[VAR_1] = VAR_2;

}

void FUNC_0(void *VAR_0, unsigned int VAR_1, CPUState *VAR_2)
{ SLAVIO_INTCTLState *s = VAR_0; s->cpu_envs[VAR_1] = VAR_2; }