__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);