1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef LINUX_BCM47XX_WDT_H_
3 #define LINUX_BCM47XX_WDT_H_
5 #include <linux/timer.h>
6 #include <linux/types.h>
7 #include <linux/watchdog.h>
11 u32 (*timer_set
)(struct bcm47xx_wdt
*, u32
);
12 u32 (*timer_set_ms
)(struct bcm47xx_wdt
*, u32
);
17 struct watchdog_device wdd
;
19 struct timer_list soft_timer
;
23 static inline void *bcm47xx_wdt_get_drvdata(struct bcm47xx_wdt
*wdt
)
25 return wdt
->driver_data
;
27 #endif /* LINUX_BCM47XX_WDT_H_ */