linux/include/linux/bcm47xx_wdt.h

/* 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 {};

static inline void *bcm47xx_wdt_get_drvdata(struct bcm47xx_wdt *wdt)
{}
#endif /* LINUX_BCM47XX_WDT_H_ */