__replay_interrupt   55 arch/powerpc/include/asm/hw_irq.h extern void __replay_interrupt(unsigned int vector);
__replay_interrupt  306 arch/powerpc/kernel/irq.c 		__replay_interrupt(replay);