Searched refs:at91_wdt_t (Results 1 – 2 of 2) sorted by relevance
45 at91_wdt_t *wd = (at91_wdt_t *) ATMEL_BASE_WDT; in at91_wdt_settimeout()72 at91_wdt_t *wd = (at91_wdt_t *) ATMEL_BASE_WDT; in hw_watchdog_reset()
26 } at91_wdt_t; typedef