Synopsis

void ctl_task_restore(CTL_TASK_t *task);

Description

ctl_task_restore adds a task task that was removed (using ctl_task_remove) onto the task list and do scheduling.