wdt_interval 42 drivers/watchdog/of_xilinx_wdt.c u32 wdt_interval; wdt_interval 181 drivers/watchdog/of_xilinx_wdt.c &xdev->wdt_interval); wdt_interval 217 drivers/watchdog/of_xilinx_wdt.c if (pfreq && xdev->wdt_interval) wdt_interval 218 drivers/watchdog/of_xilinx_wdt.c xilinx_wdt_wdd->timeout = 2 * ((1 << xdev->wdt_interval) /