linux/drivers/watchdog/octeon-wdt-main.c