-+EXPORT_SYMBOL(ssb_watchdog);
-+
- static const u32 ipsflag_irq_mask[] = {
- 0,
- SSB_IPSFLAG_IRQ1,
-Index: linux-2.6.23.16/include/linux/ssb/ssb_driver_mips.h
-===================================================================
---- linux-2.6.23.16.orig/include/linux/ssb/ssb_driver_mips.h 2008-02-19 02:13:15.000000000 +0100
-+++ linux-2.6.23.16/include/linux/ssb/ssb_driver_mips.h 2008-02-19 02:13:17.000000000 +0100
-@@ -30,6 +30,8 @@ extern u32 ssb_cpu_clock(struct ssb_mips
-
- extern unsigned int ssb_mips_irq(struct ssb_device *dev);
-
-+/* Set watchdog reset timer to fire in 'ticks' backplane cycles */
-+extern int ssb_watchdog(struct ssb_bus *bus, uint ticks);
-
- #else /* CONFIG_SSB_DRIVER_MIPS */
-
-Index: linux-2.6.23.16/arch/mips/bcm947xx/setup.c
-===================================================================
---- linux-2.6.23.16.orig/arch/mips/bcm947xx/setup.c 2008-02-19 02:13:15.000000000 +0100
-+++ linux-2.6.23.16/arch/mips/bcm947xx/setup.c 2008-02-19 02:13:17.000000000 +0100
-@@ -55,7 +55,7 @@ static void bcm47xx_machine_restart(char
- */
-
- /* Set the watchdog timer to reset immediately */
-- ssb_chipco_watchdog_timer_set(&ssb.chipco, 1);
-+ ssb_watchdog(&ssb, 1);
- while (1)
- cpu_relax();
- }
-@@ -64,7 +64,7 @@ static void bcm47xx_machine_halt(void)
++
+ #ifdef CONFIG_SSB_SERIAL
+ static bool serial_exists(u8 *regs)
+ {
+--- /dev/null
++++ b/drivers/ssb/embedded.c
+@@ -0,0 +1,26 @@
++/*
++ * Sonics Silicon Backplane
++ * Embedded systems support code
++ *
++ * Copyright 2005-2008, Broadcom Corporation
++ * Copyright 2006-2008, Michael Buesch <mb@bu3sch.de>
++ *
++ * Licensed under the GNU/GPL. See COPYING for details.
++ */
++
++#include <linux/ssb/ssb.h>
++#include <linux/ssb/ssb_embedded.h>
++
++
++int ssb_watchdog_timer_set(struct ssb_bus *bus, u32 ticks)
++{
++ if (ssb_chipco_available(&bus->chipco)) {
++ ssb_chipco_watchdog_timer_set(&bus->chipco, ticks);
++ return 0;
++ }
++ if (ssb_extif_available(&bus->extif)) {
++ ssb_extif_watchdog_timer_set(&bus->extif, ticks);
++ return 0;
++ }
++ return -ENODEV;
++}
+--- a/include/linux/ssb/ssb_driver_chipcommon.h
++++ b/include/linux/ssb/ssb_driver_chipcommon.h
+@@ -360,6 +360,11 @@
+ u16 fast_pwrup_delay;
+ };
+
++static inline bool ssb_chipco_available(struct ssb_chipcommon *cc)
++{
++ return (cc->dev != NULL);
++}
++
+ extern void ssb_chipcommon_init(struct ssb_chipcommon *cc);
+
+ #include <linux/pm.h>
+--- a/include/linux/ssb/ssb_driver_extif.h
++++ b/include/linux/ssb/ssb_driver_extif.h
+@@ -178,6 +178,9 @@
+ u32 ssb_extif_gpio_polarity(struct ssb_extif *extif, u32 mask, u32 value);
+ u32 ssb_extif_gpio_intmask(struct ssb_extif *extif, u32 mask, u32 value);
+
++extern void ssb_extif_watchdog_timer_set(struct ssb_extif *extif,
++ u32 ticks);
++
+ #ifdef CONFIG_SSB_SERIAL
+ extern int ssb_extif_serial_init(struct ssb_extif *extif,
+ struct ssb_serial_port *ports);
+@@ -201,5 +204,11 @@