1 #ifndef LINUX_BCM47XX_WDT_H_
2 #define LINUX_BCM47XX_WDT_H_
4 #include <linux/timer.h>
5 #include <linux/types.h>
6 #include <linux/watchdog.h>
10 u32 (*timer_set)(struct bcm47xx_wdt *, u32);
11 u32 (*timer_set_ms)(struct bcm47xx_wdt *, u32);
16 struct watchdog_device wdd;
18 struct timer_list soft_timer;
22 static inline void *bcm47xx_wdt_get_drvdata(struct bcm47xx_wdt *wdt)
24 return wdt->driver_data;
26 #endif /* LINUX_BCM47XX_WDT_H_ */