octeon_wdt_cpu_to_irq  339 drivers/watchdog/octeon-wdt-main.c 	free_irq(octeon_wdt_cpu_to_irq(cpu), octeon_wdt_poke_irq);
octeon_wdt_cpu_to_irq  419 drivers/watchdog/octeon-wdt-main.c 			enable_irq(octeon_wdt_cpu_to_irq(cpu));