static void ppc_cpu_do_nmi_on_cpu(CPUState *cs, run_on_cpu_data arg)

{

    cpu_synchronize_state(cs);

    ppc_cpu_do_system_reset(cs);

}

static void ppc_cpu_do_nmi_on_cpu(CPUState *cs, run_on_cpu_data arg)

{

    cpu_synchronize_state(cs);

    ppc_cpu_do_system_reset(cs);

}

static void FUNC_0(CPUState *VAR_0, run_on_cpu_data VAR_1)

{

    cpu_synchronize_state(VAR_0);

    ppc_cpu_do_system_reset(VAR_0);

}

static void FUNC_0(CPUState *VAR_0, run_on_cpu_data VAR_1)
{ cpu_synchronize_state(VAR_0); ppc_cpu_do_system_reset(VAR_0); }