+ if (!initialized)
+ return -E_NOT_INITIALIZED;
+ list_for_each_entry_safe(t, tmp, &pre_select_list, pre_select_node) {
+ sprintf(buf, "%p", t);
+ if (strcmp(id, buf))
+ continue;
+ t->error = -E_TASK_KILLED;
+ return 1;
+ }
+ list_for_each_entry_safe(t, tmp, &post_select_list, post_select_node) {
+ sprintf(buf, "%p", t);
+ if (strcmp(id, buf))
+ continue;
+ t->error = -E_TASK_KILLED;
+ return 1;
+ }
+ return -E_NO_SUCH_TASK;
+}
+
+void sched_min_delay(struct sched *s)
+{
+ s->timeout.tv_sec = 0;
+ s->timeout.tv_usec = 1;
+}
+
+void sched_request_timeout(struct timeval *timeout, struct sched *s)
+{
+ if (tv_diff(&s->timeout, timeout, NULL) > 0)
+ s->timeout = *timeout;
+}
+
+void sched_request_timeout_ms(long unsigned ms, struct sched *s)
+{
+ struct timeval tv;
+ ms2tv(ms, &tv);
+ sched_request_timeout(&tv, s);
+}
+
+void sched_request_barrier(struct timeval *barrier, struct sched *s)
+{
+ struct timeval diff;
+
+ if (tv_diff(now, barrier, &diff) > 0)
+ return;
+ sched_request_timeout(&diff, s);
+}
+
+void sched_request_barrier_or_min_delay(struct timeval *barrier, struct sched *s)
+{
+ struct timeval diff;
+
+ if (tv_diff(now, barrier, &diff) > 0)
+ return sched_min_delay(s);
+ sched_request_timeout(&diff, s);
+}