/* SPDX-License-Identifier: GPL-2.0 */ #ifndef LINUX_BCM47XX_WDT_H_ #define LINUX_BCM47XX_WDT_H_ #include <linux/timer.h> #include <linux/types.h> #include <linux/watchdog.h> struct bcm47xx_wdt { u32 (*timer_set)(struct bcm47xx_wdt *, u32); u32 (*timer_set_ms)(struct bcm47xx_wdt *, u32); u32 max_timer_ms; void *driver_data; struct watchdog_device wdd; struct timer_list soft_timer; atomic_t soft_ticks; }; static inline void *bcm47xx_wdt_get_drvdata(struct bcm47xx_wdt *wdt) { return wdt->driver_data; } #endif /* LINUX_BCM47XX_WDT_H_ */