booke_wdt_period   40 drivers/watchdog/booke_wdt.c static int  booke_wdt_period = CONFIG_BOOKE_WDT_DEFAULT_TIMEOUT;
booke_wdt_period   41 drivers/watchdog/booke_wdt.c module_param(booke_wdt_period, int, 0);
booke_wdt_period  223 drivers/watchdog/booke_wdt.c 			      period_to_sec(booke_wdt_period));