at91wdt
static inline void at91_wdt_reset(struct at91wdt *wdt)
struct at91wdt *wdt = timer_container_of(wdt, t, timer);
struct at91wdt *wdt = to_wdt(wdd);
static int at91_wdt_init(struct platform_device *pdev, struct at91wdt *wdt)
static int of_at91wdt_init(struct device_node *np, struct at91wdt *wdt)
static inline int of_at91wdt_init(struct device_node *np, struct at91wdt *wdt)
struct at91wdt *wdt;
struct at91wdt *wdt = platform_get_drvdata(pdev);
#define to_wdt(wdd) container_of(wdd, struct at91wdt, wdd)
struct at91wdt *wdt = (struct at91wdt *)dev_id;