/* 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_ */
|
