return task->state_set == sd_global->scheduled_task_set ||
task->state_set == sd_global->ready_task_set;
}
/* Returns whether the state of the given task is SD_NOT_SCHEDULED. */
return task->state_set == sd_global->scheduled_task_set ||
task->state_set == sd_global->ready_task_set;
}
/* Returns whether the state of the given task is SD_NOT_SCHEDULED. */