replay_system_reset   54 arch/powerpc/include/asm/hw_irq.h extern void replay_system_reset(void);
replay_system_reset  445 arch/powerpc/kernel/irq.c EXPORT_SYMBOL_GPL(replay_system_reset);
replay_system_reset  458 arch/powerpc/kernel/irq.c 		replay_system_reset();
replay_system_reset 3033 arch/powerpc/kvm/book3s_hv.c 		replay_system_reset();