2 * Sonics Silicon Backplane
3 * Embedded systems support code
5 * Copyright 2005-2008, Broadcom Corporation
6 * Copyright 2006-2008, Michael Buesch <mb@bu3sch.de>
8 * Licensed under the GNU/GPL. See COPYING for details.
11 #include <linux/ssb/ssb.h>
12 #include <linux/ssb/ssb_embedded.h>
15 int ssb_watchdog_timer_set(struct ssb_bus *bus, u32 ticks)
17 if (ssb_chipco_available(&bus->chipco)) {
18 ssb_chipco_watchdog_timer_set(&bus->chipco, ticks);
21 if (ssb_extif_available(&bus->extif)) {
22 ssb_extif_watchdog_timer_set(&bus->extif, ticks);