Searched refs:ppc_cpu_do_system_reset (Results 1 – 4 of 4) sorted by relevance
1579 void ppc_cpu_do_system_reset(CPUState *cs);
2482 void ppc_cpu_do_system_reset(CPUState *cs) in ppc_cpu_do_system_reset() function
2790 ppc_cpu_do_system_reset(cs); in pnv_cpu_do_nmi_on_cpu()
3564 ppc_cpu_do_system_reset(cs); in spapr_do_system_reset_on_cpu()