rti_wdt_get_timeleft_ms
return rti_wdt_get_timeleft_ms(wdd) / 1000;
time_left_ms = rti_wdt_get_timeleft_ms(wdd);