static void sigp_initial_cpu_reset(void *arg)

{

    CPUState *cpu = arg;

    S390CPUClass *scc = S390_CPU_GET_CLASS(cpu);



    cpu_synchronize_state(cpu);

    scc->initial_cpu_reset(cpu);

    cpu_synchronize_post_reset(cpu);

}

static void sigp_initial_cpu_reset(void *arg)

{

    CPUState *cpu = arg;

    S390CPUClass *scc = S390_CPU_GET_CLASS(cpu);



    cpu_synchronize_state(cpu);

    scc->initial_cpu_reset(cpu);

    cpu_synchronize_post_reset(cpu);

}

static void FUNC_0(void *VAR_0)

{

    CPUState *cpu = VAR_0;

    S390CPUClass *scc = S390_CPU_GET_CLASS(cpu);



    cpu_synchronize_state(cpu);

    scc->initial_cpu_reset(cpu);

    cpu_synchronize_post_reset(cpu);

}

static void FUNC_0(void *VAR_0)
{ CPUState *cpu = VAR_0; S390CPUClass *scc = S390_CPU_GET_CLASS(cpu); cpu_synchronize_state(cpu); scc->initial_cpu_reset(cpu); cpu_synchronize_post_reset(cpu); }