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