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
);