1/*
2 * This file is subject to the terms and conditions of the GNU General Public
3 * License.  See the file "COPYING" in the main directory of this archive
4 * for more details.
5 *
6 * Copyright (C) 2008 Florian Fainelli <florian@openwrt.org>
7 */
8
9#include <linux/init.h>
10#include <linux/kernel.h>
11#include <linux/platform_device.h>
12#include <bcm63xx_cpu.h>
13
14static struct resource wdt_resources[] = {
15	{
16		.start		= -1, /* filled at runtime */
17		.end		= -1, /* filled at runtime */
18		.flags		= IORESOURCE_MEM,
19	},
20};
21
22static struct platform_device bcm63xx_wdt_device = {
23	.name		= "bcm63xx-wdt",
24	.id		= -1,
25	.num_resources	= ARRAY_SIZE(wdt_resources),
26	.resource	= wdt_resources,
27};
28
29int __init bcm63xx_wdt_register(void)
30{
31	wdt_resources[0].start = bcm63xx_regset_address(RSET_WDT);
32	wdt_resources[0].end = wdt_resources[0].start;
33	wdt_resources[0].end += RSET_WDT_SIZE - 1;
34
35	return platform_device_register(&bcm63xx_wdt_device);
36}
37arch_initcall(bcm63xx_wdt_register);
38