__pdc_wdt_set_timeout  131 drivers/watchdog/imgpdc_wdt.c 	__pdc_wdt_set_timeout(wdt);
__pdc_wdt_set_timeout  142 drivers/watchdog/imgpdc_wdt.c 	__pdc_wdt_set_timeout(wdt);