static void sigp_cpu_reset(CPUState *cs, run_on_cpu_data arg)

{

    S390CPU *cpu = S390_CPU(cs);

    S390CPUClass *scc = S390_CPU_GET_CLASS(cpu);

    SigpInfo *si = arg.host_ptr;



    cpu_synchronize_state(cs);

    scc->cpu_reset(cs);

    cpu_synchronize_post_reset(cs);

    si->cc = SIGP_CC_ORDER_CODE_ACCEPTED;

}

static void sigp_cpu_reset(CPUState *cs, run_on_cpu_data arg)

{

    S390CPU *cpu = S390_CPU(cs);

    S390CPUClass *scc = S390_CPU_GET_CLASS(cpu);

    SigpInfo *si = arg.host_ptr;



    cpu_synchronize_state(cs);

    scc->cpu_reset(cs);

    cpu_synchronize_post_reset(cs);

    si->cc = SIGP_CC_ORDER_CODE_ACCEPTED;

}

static void FUNC_0(CPUState *VAR_0, run_on_cpu_data VAR_1)

{

    S390CPU *cpu = S390_CPU(VAR_0);

    S390CPUClass *scc = S390_CPU_GET_CLASS(cpu);

    SigpInfo *si = VAR_1.host_ptr;



    cpu_synchronize_state(VAR_0);

    scc->cpu_reset(VAR_0);

    cpu_synchronize_post_reset(VAR_0);

    si->cc = SIGP_CC_ORDER_CODE_ACCEPTED;

}

static void FUNC_0(CPUState *VAR_0, run_on_cpu_data VAR_1)
{ S390CPU *cpu = S390_CPU(VAR_0); S390CPUClass *scc = S390_CPU_GET_CLASS(cpu); SigpInfo *si = VAR_1.host_ptr; cpu_synchronize_state(VAR_0); scc->cpu_reset(VAR_0); cpu_synchronize_post_reset(VAR_0); si->cc = SIGP_CC_ORDER_CODE_ACCEPTED; }