Symbol: octeon_wdt_cpu_to_irq
drivers/watchdog/octeon-wdt-main.c
342
free_irq(octeon_wdt_cpu_to_irq(cpu), octeon_wdt_poke_irq);
drivers/watchdog/octeon-wdt-main.c
418
enable_irq(octeon_wdt_cpu_to_irq(cpu));