Symbol: __pdc_wdt_set_timeout
drivers/watchdog/imgpdc_wdt.c
130
__pdc_wdt_set_timeout(wdt);
drivers/watchdog/imgpdc_wdt.c
141
__pdc_wdt_set_timeout(wdt);