system_reset_fwnmi  124 arch/powerpc/include/asm/firmware.h extern void system_reset_fwnmi(void);
system_reset_fwnmi   62 arch/powerpc/kernel/crash_dump.c 	create_trampoline(__pa(system_reset_fwnmi) - PHYSICAL_START);
system_reset_fwnmi  123 arch/powerpc/platforms/pseries/setup.c 	system_reset_addr  = __pa(system_reset_fwnmi) - PHYSICAL_START;