machine_check_fwnmi  125 arch/powerpc/include/asm/firmware.h extern void machine_check_fwnmi(void);
machine_check_fwnmi   63 arch/powerpc/kernel/crash_dump.c 	create_trampoline(__pa(machine_check_fwnmi) - PHYSICAL_START);
machine_check_fwnmi  124 arch/powerpc/platforms/pseries/setup.c 	machine_check_addr = __pa(machine_check_fwnmi) - PHYSICAL_START;