/* Resets the hardware timer and has_reset flags of each task on the list. Called within critical  */
static void reset_hw_timer()
/* Resets the hardware timer and has_reset flags of each task on the list. Called within critical  */
static void reset_hw_timer()
{
    TIMERG0.wdt_wprotect=TIMG_WDT_WKEY_VALUE;
    TIMERG0.wdt_feed=1;
    TIMERG0.wdt_wprotect=0;
    for (twdt_task_t *task = twdt_config->list; task != NULL; task = task->next){
        task->has_reset=false;
    }
}