booke_wdt_set_timeout 201 drivers/watchdog/booke_wdt.c .set_timeout = booke_wdt_set_timeout, booke_wdt_set_timeout 222 drivers/watchdog/booke_wdt.c booke_wdt_set_timeout(&booke_wdt_dev,