[linux-block.git] / drivers / watchdog / davinci_wdt.c

/*
 * drivers/char/watchdog/davinci_wdt.c
 *
 * Watchdog driver for DaVinci DM644x/DM646x processors
 *
 * Copyright (C) 2006-2013 Texas Instruments.
 *
 * 2007 (c) MontaVista Software, Inc. This file is licensed under
 * the terms of the GNU General Public License version 2. This program
 * is licensed "as is" without any warranty of any kind, whether express
 * or implied.
 */

#include <linux/module.h>
#include <linux/moduleparam.h>
#include <linux/types.h>
#include <linux/kernel.h>
#include <linux/watchdog.h>
#include <linux/platform_device.h>
#include <linux/io.h>
#include <linux/device.h>
#include <linux/clk.h>
#include <linux/err.h>

#define MODULE_NAME "DAVINCI-WDT: "

#define DEFAULT_HEARTBEAT 60
#define MAX_HEARTBEAT     600	/* really the max margin is 264/27MHz*/

/* Timer register set definition */
#define PID12	(0x0)
#define EMUMGT	(0x4)
#define TIM12	(0x10)
#define TIM34	(0x14)
#define PRD12	(0x18)
#define PRD34	(0x1C)
#define TCR	(0x20)
#define TGCR	(0x24)
#define WDTCR	(0x28)

/* TCR bit definitions */
#define ENAMODE12_DISABLED	(0 << 6)
#define ENAMODE12_ONESHOT	(1 << 6)
#define ENAMODE12_PERIODIC	(2 << 6)

/* TGCR bit definitions */
#define TIM12RS_UNRESET		(1 << 0)
#define TIM34RS_UNRESET		(1 << 1)
#define TIMMODE_64BIT_WDOG      (2 << 2)

/* WDTCR bit definitions */
#define WDEN			(1 << 14)
#define WDFLAG			(1 << 15)
#define WDKEY_SEQ0		(0xa5c6 << 16)
#define WDKEY_SEQ1		(0xda7e << 16)

static int heartbeat;

/*
 * struct to hold data for each WDT device
 * @base - base io address of WD device
 * @clk - source clock of WDT
 * @wdd - hold watchdog device as is in WDT core
 */
struct davinci_wdt_device {
	void __iomem		*base;
	struct clk		*clk;
	struct watchdog_device	wdd;
};

static int davinci_wdt_start(struct watchdog_device *wdd)
{
	u32 tgcr;
	u32 timer_margin;
	unsigned long wdt_freq;
	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);

	wdt_freq = clk_get_rate(davinci_wdt->clk);

	/* disable, internal clock source */
	iowrite32(0, davinci_wdt->base + TCR);
	/* reset timer, set mode to 64-bit watchdog, and unreset */
	iowrite32(0, davinci_wdt->base + TGCR);
	tgcr = TIMMODE_64BIT_WDOG | TIM12RS_UNRESET | TIM34RS_UNRESET;
	iowrite32(tgcr, davinci_wdt->base + TGCR);
	/* clear counter regs */
	iowrite32(0, davinci_wdt->base + TIM12);
	iowrite32(0, davinci_wdt->base + TIM34);
	/* set timeout period */
	timer_margin = (((u64)wdd->timeout * wdt_freq) & 0xffffffff);
	iowrite32(timer_margin, davinci_wdt->base + PRD12);
	timer_margin = (((u64)wdd->timeout * wdt_freq) >> 32);
	iowrite32(timer_margin, davinci_wdt->base + PRD34);
	/* enable run continuously */
	iowrite32(ENAMODE12_PERIODIC, davinci_wdt->base + TCR);
	/* Once the WDT is in pre-active state write to
	 * TIM12, TIM34, PRD12, PRD34, TCR, TGCR, WDTCR are
	 * write protected (except for the WDKEY field)
	 */
	/* put watchdog in pre-active state */
	iowrite32(WDKEY_SEQ0 | WDEN, davinci_wdt->base + WDTCR);
	/* put watchdog in active state */
	iowrite32(WDKEY_SEQ1 | WDEN, davinci_wdt->base + WDTCR);
	return 0;
}

static int davinci_wdt_ping(struct watchdog_device *wdd)
{
	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);

	/* put watchdog in service state */
	iowrite32(WDKEY_SEQ0, davinci_wdt->base + WDTCR);
	/* put watchdog in active state */
	iowrite32(WDKEY_SEQ1, davinci_wdt->base + WDTCR);
	return 0;
}

static unsigned int davinci_wdt_get_timeleft(struct watchdog_device *wdd)
{
	u64 timer_counter;
	unsigned long freq;
	u32 val;
	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);

	/* if timeout has occured then return 0 */
	val = ioread32(davinci_wdt->base + WDTCR);
	if (val & WDFLAG)
		return 0;

	freq = clk_get_rate(davinci_wdt->clk);

	if (!freq)
		return 0;

	timer_counter = ioread32(davinci_wdt->base + TIM12);
	timer_counter |= ((u64)ioread32(davinci_wdt->base + TIM34) << 32);

	do_div(timer_counter, freq);

	return wdd->timeout - timer_counter;
}

static int davinci_wdt_restart(struct watchdog_device *wdd,
			       unsigned long action, void *data)
{
	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);
	u32 tgcr, wdtcr;

	/* disable, internal clock source */
	iowrite32(0, davinci_wdt->base + TCR);

	/* reset timer, set mode to 64-bit watchdog, and unreset */
	tgcr = 0;
	iowrite32(tgcr, davinci_wdt->base + TGCR);
	tgcr = TIMMODE_64BIT_WDOG | TIM12RS_UNRESET | TIM34RS_UNRESET;
	iowrite32(tgcr, davinci_wdt->base + TGCR);

	/* clear counter and period regs */
	iowrite32(0, davinci_wdt->base + TIM12);
	iowrite32(0, davinci_wdt->base + TIM34);
	iowrite32(0, davinci_wdt->base + PRD12);
	iowrite32(0, davinci_wdt->base + PRD34);

	/* put watchdog in pre-active state */
	wdtcr = WDKEY_SEQ0 | WDEN;
	iowrite32(wdtcr, davinci_wdt->base + WDTCR);

	/* put watchdog in active state */
	wdtcr = WDKEY_SEQ1 | WDEN;
	iowrite32(wdtcr, davinci_wdt->base + WDTCR);

	/* write an invalid value to the WDKEY field to trigger a restart */
	wdtcr = 0x00004000;
	iowrite32(wdtcr, davinci_wdt->base + WDTCR);

	return 0;
}

static const struct watchdog_info davinci_wdt_info = {
	.options = WDIOF_KEEPALIVEPING,
	.identity = "DaVinci/Keystone Watchdog",
};

static const struct watchdog_ops davinci_wdt_ops = {
	.owner		= THIS_MODULE,
	.start		= davinci_wdt_start,
	.stop		= davinci_wdt_ping,
	.ping		= davinci_wdt_ping,
	.get_timeleft	= davinci_wdt_get_timeleft,
	.restart	= davinci_wdt_restart,
};

static int davinci_wdt_probe(struct platform_device *pdev)
{
	int ret = 0;
	struct device *dev = &pdev->dev;
	struct resource  *wdt_mem;
	struct watchdog_device *wdd;
	struct davinci_wdt_device *davinci_wdt;

	davinci_wdt = devm_kzalloc(dev, sizeof(*davinci_wdt), GFP_KERNEL);
	if (!davinci_wdt)
		return -ENOMEM;

	davinci_wdt->clk = devm_clk_get(dev, NULL);

	if (IS_ERR(davinci_wdt->clk)) {
		if (PTR_ERR(davinci_wdt->clk) != -EPROBE_DEFER)
			dev_err(&pdev->dev, "failed to get clock node\n");
		return PTR_ERR(davinci_wdt->clk);
	}

	ret = clk_prepare_enable(davinci_wdt->clk);
	if (ret) {
		dev_err(&pdev->dev, "failed to prepare clock\n");
		return ret;
	}

	platform_set_drvdata(pdev, davinci_wdt);

	wdd			= &davinci_wdt->wdd;
	wdd->info		= &davinci_wdt_info;
	wdd->ops		= &davinci_wdt_ops;
	wdd->min_timeout	= 1;
	wdd->max_timeout	= MAX_HEARTBEAT;
	wdd->timeout		= DEFAULT_HEARTBEAT;
	wdd->parent		= &pdev->dev;

	watchdog_init_timeout(wdd, heartbeat, dev);

	dev_info(dev, "heartbeat %d sec\n", wdd->timeout);

	watchdog_set_drvdata(wdd, davinci_wdt);
	watchdog_set_nowayout(wdd, 1);
	watchdog_set_restart_priority(wdd, 128);

	wdt_mem = platform_get_resource(pdev, IORESOURCE_MEM, 0);
	davinci_wdt->base = devm_ioremap_resource(dev, wdt_mem);
	if (IS_ERR(davinci_wdt->base)) {
		ret = PTR_ERR(davinci_wdt->base);
		goto err_clk_disable;
	}

	ret = watchdog_register_device(wdd);
	if (ret) {
		dev_err(dev, "cannot register watchdog device\n");
		goto err_clk_disable;
	}

	return 0;

err_clk_disable:
	clk_disable_unprepare(davinci_wdt->clk);

	return ret;
}

static int davinci_wdt_remove(struct platform_device *pdev)
{
	struct davinci_wdt_device *davinci_wdt = platform_get_drvdata(pdev);

	watchdog_unregister_device(&davinci_wdt->wdd);
	clk_disable_unprepare(davinci_wdt->clk);

	return 0;
}

static const struct of_device_id davinci_wdt_of_match[] = {
	{ .compatible = "ti,davinci-wdt", },
	{},
};
MODULE_DEVICE_TABLE(of, davinci_wdt_of_match);

static struct platform_driver platform_wdt_driver = {
	.driver = {
		.name = "davinci-wdt",
		.of_match_table = davinci_wdt_of_match,
	},
	.probe = davinci_wdt_probe,
	.remove = davinci_wdt_remove,
};

module_platform_driver(platform_wdt_driver);

MODULE_AUTHOR("Texas Instruments");
MODULE_DESCRIPTION("DaVinci Watchdog Driver");

module_param(heartbeat, int, 0);
MODULE_PARM_DESC(heartbeat,
		 "Watchdog heartbeat period in seconds from 1 to "
		 __MODULE_STRING(MAX_HEARTBEAT) ", default "
		 __MODULE_STRING(DEFAULT_HEARTBEAT));

MODULE_LICENSE("GPL");
MODULE_ALIAS("platform:davinci-wdt");
Commit	Line	Data
7d831bf5 VB	1	/*
	2	* drivers/char/watchdog/davinci_wdt.c
	3	*
	4	* Watchdog driver for DaVinci DM644x/DM646x processors
	5	*
f48f3cea	6	* Copyright (C) 2006-2013 Texas Instruments.
7d831bf5 VB	7	*
	8	* 2007 (c) MontaVista Software, Inc. This file is licensed under
	9	* the terms of the GNU General Public License version 2. This program
	10	* is licensed "as is" without any warranty of any kind, whether express
	11	* or implied.
	12	*/
	13
	14	#include <linux/module.h>
	15	#include <linux/moduleparam.h>
	16	#include <linux/types.h>
	17	#include <linux/kernel.h>
7d831bf5	18	#include <linux/watchdog.h>
7d831bf5	19	#include <linux/platform_device.h>
f78b0a8f	20	#include <linux/io.h>
371d3525	21	#include <linux/device.h>
9fd868f4	22	#include <linux/clk.h>
6330c707	23	#include <linux/err.h>
7d831bf5 VB	24
	25	#define MODULE_NAME "DAVINCI-WDT: "
	26
	27	#define DEFAULT_HEARTBEAT 60
	28	#define MAX_HEARTBEAT 600 /* really the max margin is 264/27MHz*/
	29
	30	/* Timer register set definition */
	31	#define PID12 (0x0)
	32	#define EMUMGT (0x4)
	33	#define TIM12 (0x10)
	34	#define TIM34 (0x14)
	35	#define PRD12 (0x18)
	36	#define PRD34 (0x1C)
	37	#define TCR (0x20)
	38	#define TGCR (0x24)
	39	#define WDTCR (0x28)
	40
	41	/* TCR bit definitions */
	42	#define ENAMODE12_DISABLED (0 << 6)
	43	#define ENAMODE12_ONESHOT (1 << 6)
	44	#define ENAMODE12_PERIODIC (2 << 6)
	45
	46	/* TGCR bit definitions */
	47	#define TIM12RS_UNRESET (1 << 0)
	48	#define TIM34RS_UNRESET (1 << 1)
	49	#define TIMMODE_64BIT_WDOG (2 << 2)
	50
	51	/* WDTCR bit definitions */
	52	#define WDEN (1 << 14)
	53	#define WDFLAG (1 << 15)
	54	#define WDKEY_SEQ0 (0xa5c6 << 16)
	55	#define WDKEY_SEQ1 (0xda7e << 16)
	56
f48f3cea	57	static int heartbeat;
6d9a6cf5 IK	58
	59	/*
	60	* struct to hold data for each WDT device
	61	* @base - base io address of WD device
	62	* @clk - source clock of WDT
	63	* @wdd - hold watchdog device as is in WDT core
	64	*/
	65	struct davinci_wdt_device {
	66	void __iomem *base;
	67	struct clk *clk;
	68	struct watchdog_device wdd;
	69	};
7d831bf5	70
f48f3cea	71	static int davinci_wdt_start(struct watchdog_device *wdd)
7d831bf5 VB	72	{
	73	u32 tgcr;
	74	u32 timer_margin;
9fd868f4	75	unsigned long wdt_freq;
6d9a6cf5	76	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);
9fd868f4	77
6d9a6cf5	78	wdt_freq = clk_get_rate(davinci_wdt->clk);
7d831bf5	79
7d831bf5	80	/* disable, internal clock source */
6d9a6cf5	81	iowrite32(0, davinci_wdt->base + TCR);
7d831bf5	82	/* reset timer, set mode to 64-bit watchdog, and unreset */
6d9a6cf5	83	iowrite32(0, davinci_wdt->base + TGCR);
7d831bf5	84	tgcr = TIMMODE_64BIT_WDOG \| TIM12RS_UNRESET \| TIM34RS_UNRESET;
6d9a6cf5	85	iowrite32(tgcr, davinci_wdt->base + TGCR);
7d831bf5	86	/* clear counter regs */
6d9a6cf5 IK	87	iowrite32(0, davinci_wdt->base + TIM12);
6d9a6cf5 IK	88	iowrite32(0, davinci_wdt->base + TIM34);
7d831bf5	89	/* set timeout period */
f48f3cea	90	timer_margin = (((u64)wdd->timeout * wdt_freq) & 0xffffffff);
6d9a6cf5	91	iowrite32(timer_margin, davinci_wdt->base + PRD12);
f48f3cea	92	timer_margin = (((u64)wdd->timeout * wdt_freq) >> 32);
6d9a6cf5	93	iowrite32(timer_margin, davinci_wdt->base + PRD34);
7d831bf5	94	/* enable run continuously */
6d9a6cf5	95	iowrite32(ENAMODE12_PERIODIC, davinci_wdt->base + TCR);
7d831bf5 VB	96	/* Once the WDT is in pre-active state write to
	97	* TIM12, TIM34, PRD12, PRD34, TCR, TGCR, WDTCR are
	98	* write protected (except for the WDKEY field)
	99	*/
	100	/* put watchdog in pre-active state */
6d9a6cf5	101	iowrite32(WDKEY_SEQ0 \| WDEN, davinci_wdt->base + WDTCR);
7d831bf5	102	/* put watchdog in active state */
6d9a6cf5	103	iowrite32(WDKEY_SEQ1 \| WDEN, davinci_wdt->base + WDTCR);
f48f3cea	104	return 0;
7d831bf5 VB	105	}
7d831bf5 VB	106
f48f3cea	107	static int davinci_wdt_ping(struct watchdog_device *wdd)
7d831bf5	108	{
6d9a6cf5 IK	109	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);
6d9a6cf5 IK	110
f48f3cea	111	/* put watchdog in service state */
6d9a6cf5	112	iowrite32(WDKEY_SEQ0, davinci_wdt->base + WDTCR);
f48f3cea	113	/* put watchdog in active state */
6d9a6cf5	114	iowrite32(WDKEY_SEQ1, davinci_wdt->base + WDTCR);
f48f3cea	115	return 0;
7d831bf5 VB	116	}
7d831bf5 VB	117
a7719949 IK	118	static unsigned int davinci_wdt_get_timeleft(struct watchdog_device *wdd)
	119	{
	120	u64 timer_counter;
	121	unsigned long freq;
	122	u32 val;
	123	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);
	124
	125	/* if timeout has occured then return 0 */
	126	val = ioread32(davinci_wdt->base + WDTCR);
	127	if (val & WDFLAG)
	128	return 0;
	129
	130	freq = clk_get_rate(davinci_wdt->clk);
	131
	132	if (!freq)
	133	return 0;
	134
	135	timer_counter = ioread32(davinci_wdt->base + TIM12);
	136	timer_counter \|= ((u64)ioread32(davinci_wdt->base + TIM34) << 32);
	137
	138	do_div(timer_counter, freq);
	139
	140	return wdd->timeout - timer_counter;
	141	}
	142
71d1f058 DL	143	static int davinci_wdt_restart(struct watchdog_device *wdd,
	144	unsigned long action, void *data)
	145	{
	146	struct davinci_wdt_device *davinci_wdt = watchdog_get_drvdata(wdd);
	147	u32 tgcr, wdtcr;
	148
	149	/* disable, internal clock source */
	150	iowrite32(0, davinci_wdt->base + TCR);
	151
	152	/* reset timer, set mode to 64-bit watchdog, and unreset */
	153	tgcr = 0;
	154	iowrite32(tgcr, davinci_wdt->base + TGCR);
	155	tgcr = TIMMODE_64BIT_WDOG \| TIM12RS_UNRESET \| TIM34RS_UNRESET;
	156	iowrite32(tgcr, davinci_wdt->base + TGCR);
	157
	158	/* clear counter and period regs */
	159	iowrite32(0, davinci_wdt->base + TIM12);
	160	iowrite32(0, davinci_wdt->base + TIM34);
	161	iowrite32(0, davinci_wdt->base + PRD12);
	162	iowrite32(0, davinci_wdt->base + PRD34);
	163
	164	/* put watchdog in pre-active state */
	165	wdtcr = WDKEY_SEQ0 \| WDEN;
	166	iowrite32(wdtcr, davinci_wdt->base + WDTCR);
	167
	168	/* put watchdog in active state */
	169	wdtcr = WDKEY_SEQ1 \| WDEN;
	170	iowrite32(wdtcr, davinci_wdt->base + WDTCR);
	171
	172	/* write an invalid value to the WDKEY field to trigger a restart */
	173	wdtcr = 0x00004000;
	174	iowrite32(wdtcr, davinci_wdt->base + WDTCR);
	175
	176	return 0;
	177	}
	178
f48f3cea	179	static const struct watchdog_info davinci_wdt_info = {
f1a08cc9	180	.options = WDIOF_KEEPALIVEPING,
8832b200	181	.identity = "DaVinci/Keystone Watchdog",
7d831bf5 VB	182	};
7d831bf5 VB	183
f48f3cea IK	184	static const struct watchdog_ops davinci_wdt_ops = {
	185	.owner = THIS_MODULE,
	186	.start = davinci_wdt_start,
	187	.stop = davinci_wdt_ping,
	188	.ping = davinci_wdt_ping,
a7719949	189	.get_timeleft = davinci_wdt_get_timeleft,
71d1f058	190	.restart = davinci_wdt_restart,
7d831bf5 VB	191	};
7d831bf5 VB	192
2d991a16	193	static int davinci_wdt_probe(struct platform_device *pdev)
7d831bf5	194	{
e20880e6	195	int ret = 0;
371d3525	196	struct device *dev = &pdev->dev;
e20880e6	197	struct resource *wdt_mem;
f48f3cea	198	struct watchdog_device *wdd;
6d9a6cf5 IK	199	struct davinci_wdt_device *davinci_wdt;
	200
	201	davinci_wdt = devm_kzalloc(dev, sizeof(*davinci_wdt), GFP_KERNEL);
	202	if (!davinci_wdt)
	203	return -ENOMEM;
7d831bf5	204
6d9a6cf5	205	davinci_wdt->clk = devm_clk_get(dev, NULL);
9b386574 TK	206
	207	if (IS_ERR(davinci_wdt->clk)) {
	208	if (PTR_ERR(davinci_wdt->clk) != -EPROBE_DEFER)
	209	dev_err(&pdev->dev, "failed to get clock node\n");
6d9a6cf5	210	return PTR_ERR(davinci_wdt->clk);
9b386574	211	}
9fd868f4	212
8f11eb58 AY	213	ret = clk_prepare_enable(davinci_wdt->clk);
	214	if (ret) {
	215	dev_err(&pdev->dev, "failed to prepare clock\n");
	216	return ret;
	217	}
9fd868f4	218
6d9a6cf5 IK	219	platform_set_drvdata(pdev, davinci_wdt);
	220
	221	wdd = &davinci_wdt->wdd;
f48f3cea IK	222	wdd->info = &davinci_wdt_info;
	223	wdd->ops = &davinci_wdt_ops;
	224	wdd->min_timeout = 1;
	225	wdd->max_timeout = MAX_HEARTBEAT;
	226	wdd->timeout = DEFAULT_HEARTBEAT;
6551881c	227	wdd->parent = &pdev->dev;
f48f3cea IK	228
	229	watchdog_init_timeout(wdd, heartbeat, dev);
	230
	231	dev_info(dev, "heartbeat %d sec\n", wdd->timeout);
7d831bf5	232
6d9a6cf5	233	watchdog_set_drvdata(wdd, davinci_wdt);
f48f3cea	234	watchdog_set_nowayout(wdd, 1);
71d1f058	235	watchdog_set_restart_priority(wdd, 128);
7d831bf5	236
f712eacf	237	wdt_mem = platform_get_resource(pdev, IORESOURCE_MEM, 0);
6d9a6cf5	238	davinci_wdt->base = devm_ioremap_resource(dev, wdt_mem);
d66e5364 AK	239	if (IS_ERR(davinci_wdt->base)) {
	240	ret = PTR_ERR(davinci_wdt->base);
	241	goto err_clk_disable;
	242	}
7d831bf5	243
f48f3cea	244	ret = watchdog_register_device(wdd);
d66e5364	245	if (ret) {
f48f3cea	246	dev_err(dev, "cannot register watchdog device\n");
d66e5364	247	goto err_clk_disable;
737bcff5	248	}
7d831bf5	249
d66e5364 AK	250	return 0;
	251
	252	err_clk_disable:
	253	clk_disable_unprepare(davinci_wdt->clk);
	254
7d831bf5 VB	255	return ret;
	256	}
	257
4b12b896	258	static int davinci_wdt_remove(struct platform_device *pdev)
7d831bf5	259	{
6d9a6cf5 IK	260	struct davinci_wdt_device *davinci_wdt = platform_get_drvdata(pdev);
	261
	262	watchdog_unregister_device(&davinci_wdt->wdd);
	263	clk_disable_unprepare(davinci_wdt->clk);
9fd868f4	264
7d831bf5 VB	265	return 0;
	266	}
	267
902e2e7d MK	268	static const struct of_device_id davinci_wdt_of_match[] = {
	269	{ .compatible = "ti,davinci-wdt", },
	270	{},
	271	};
	272	MODULE_DEVICE_TABLE(of, davinci_wdt_of_match);
	273
7d831bf5 VB	274	static struct platform_driver platform_wdt_driver = {
7d831bf5 VB	275	.driver = {
84374812	276	.name = "davinci-wdt",
902e2e7d	277	.of_match_table = davinci_wdt_of_match,
7d831bf5 VB	278	},
7d831bf5 VB	279	.probe = davinci_wdt_probe,
82268714	280	.remove = davinci_wdt_remove,
7d831bf5 VB	281	};
7d831bf5 VB	282
b8ec6118	283	module_platform_driver(platform_wdt_driver);
7d831bf5 VB	284
	285	MODULE_AUTHOR("Texas Instruments");
	286	MODULE_DESCRIPTION("DaVinci Watchdog Driver");
	287
	288	module_param(heartbeat, int, 0);
	289	MODULE_PARM_DESC(heartbeat,
	290	"Watchdog heartbeat period in seconds from 1 to "
	291	__MODULE_STRING(MAX_HEARTBEAT) ", default "
	292	__MODULE_STRING(DEFAULT_HEARTBEAT));
	293
	294	MODULE_LICENSE("GPL");
84374812	295	MODULE_ALIAS("platform:davinci-wdt");