Searched refs:ppc_cpu_do_system_reset (Results 1 – 4 of 4) sorted by relevance
1577 void ppc_cpu_do_system_reset(CPUState *cs);
2503 void ppc_cpu_do_system_reset(CPUState *cs) in ppc_cpu_do_system_reset() function
2819 ppc_cpu_do_system_reset(cs); in pnv_cpu_do_nmi_on_cpu()
3487 ppc_cpu_do_system_reset(cs); in spapr_do_system_reset_on_cpu()