WatchdogException   60 arch/powerpc/include/asm/hw_irq.h extern void WatchdogException(struct pt_regs *regs);
WatchdogException  940 arch/powerpc/kvm/booke.c 		WatchdogException(&regs);