PERFORCE change 109841 for review

[Sam Leffler]

http://perforce.freebsd.org/chv.cgi?CH=109841

Change 109841 by sam at sam_ebb on 2006/11/13 06:24:17

	ixp425 watchdog timer; the specs don't say what the
	units are for the timer register so this is almost
	certainly writing the wrong value (but otherwise it
	seems to DTRT)

Affected files ...

.. //depot/projects/arm/src/sys/arm/xscale/ixp425/files.ixp425#7 edit
.. //depot/projects/arm/src/sys/arm/xscale/ixp425/ixp425.c#18 edit
.. //depot/projects/arm/src/sys/arm/xscale/ixp425/ixp425_wdog.c#1 add

Differences ...

==== //depot/projects/arm/src/sys/arm/xscale/ixp425/files.ixp425#7 (text+ko) ====

@@ -5,6 +5,7 @@
 arm/xscale/ixp425/ixp425_mem.c		standard
 arm/xscale/ixp425/ixp425_space.c	standard
 arm/xscale/ixp425/ixp425_timer.c	standard
+arm/xscale/ixp425/ixp425_wdog.c		optional	ixpwdog
 arm/xscale/ixp425/ixp425_iic.c		optional	ixpiic
 arm/xscale/ixp425/ixp425_pci.c		optional	pci
 arm/xscale/ixp425/ixp425_pci_asm.S	optional	pci

==== //depot/projects/arm/src/sys/arm/xscale/ixp425/ixp425.c#18 (text+ko) ====

@@ -225,6 +225,7 @@
 
 	device_add_child(dev, "pcib", 0);
 	device_add_child(dev, "ixpclk", 0);
+	device_add_child(dev, "ixpwdog", 0);
 	device_add_child(dev, "ixpiic", 0);
 	device_add_child(dev, "uart", 0);
 	/* XXX these are optional, what if they are not configured? */