Symbol: ts4800_wdt_set_timeout