WDT_SEC2TICKS     110 drivers/watchdog/sama5d4_wdt.c 	u32 value = WDT_SEC2TICKS(timeout);
WDT_SEC2TICKS     247 drivers/watchdog/sama5d4_wdt.c 	timeout = WDT_SEC2TICKS(wdd->timeout);
WDT_SEC2TICKS     249 drivers/watchdog/sama5d4_wdt.c 	wdt->mr |= AT91_WDT_SET_WDD(WDT_SEC2TICKS(MAX_WDT_TIMEOUT));