watchdog_timer_interrupt  238 arch/powerpc/kernel/watchdog.c static void watchdog_timer_interrupt(int cpu)
watchdog_timer_interrupt  139 drivers/watchdog/intel_scu_watchdog.c static irqreturn_t watchdog_timer_interrupt(int irq, void *dev_id)