wdatwd_reset_countdown
wdatwd_reset_countdown(sc);
return (wdatwd_reset_countdown(sc) || wdatwd_set_running(sc));