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