#include <linux/delay.h>
#include <linux/io.h>
#include <linux/module.h>
#include <linux/platform_device.h>
#include <linux/types.h>
#include <linux/watchdog.h>
#define MASK_WDGCS_ENABLE …
#define MASK_WDGCS_RELOAD …
#define MASK_WDGCS_NMIEN …
#define MASK_WDGCS_WARN …
#define WDT_MAX_TIMEOUT_MS …
#define WDT_DEFAULT_TIMEOUT …
#define SECS_TO_WDOG_TICKS(x) …
#define WDOG_TICKS_TO_SECS(x) …
#define GXP_WDT_CNT_OFS …
#define GXP_WDT_CTRL_OFS …
struct gxp_wdt { … };
static void gxp_wdt_enable_reload(struct gxp_wdt *drvdata)
{ … }
static int gxp_wdt_start(struct watchdog_device *wdd)
{ … }
static int gxp_wdt_stop(struct watchdog_device *wdd)
{ … }
static int gxp_wdt_set_timeout(struct watchdog_device *wdd,
unsigned int timeout)
{ … }
static unsigned int gxp_wdt_get_timeleft(struct watchdog_device *wdd)
{ … }
static int gxp_wdt_ping(struct watchdog_device *wdd)
{ … }
static int gxp_restart(struct watchdog_device *wdd, unsigned long action,
void *data)
{ … }
static const struct watchdog_ops gxp_wdt_ops = …;
static const struct watchdog_info gxp_wdt_info = …;
static int gxp_wdt_probe(struct platform_device *pdev)
{ … }
static struct platform_driver gxp_wdt_driver = …;
module_platform_driver(…) …;
MODULE_AUTHOR(…) …;
MODULE_AUTHOR(…) …;
MODULE_DESCRIPTION(…) …;
MODULE_LICENSE(…) …;