Searched refs:ppc_cpu_do_fwnmi_machine_check (Results 1 – 3 of 3) sorted by relevance
866 ppc_cpu_do_fwnmi_machine_check(cs, spapr->fwnmi_machine_check_addr); in spapr_mce_dispatch_elog()
1578 void ppc_cpu_do_fwnmi_machine_check(CPUState *cs, target_ulong vector);
2511 void ppc_cpu_do_fwnmi_machine_check(CPUState *cs, target_ulong vector) in ppc_cpu_do_fwnmi_machine_check() function