tree a4d03fdf2f67058dcb059d2d088a0ed69d06929e
parent 8204a056762d5ef4736974cd7797d6f5a09bfa20
author Jere Leppänen <jere.leppanen@nokia.com> 1712846945 +0300
committer Petri Savolainen <petri.savolainen@nokia.com> 1714112923 +0300

linux-gen: timer: don't use sched_yield()

Replace all usage of sched_yield() with odp_cpu_pause(). The man page
states that "sched_yield() is intended for use with real-time
scheduling policies [...] Use of sched_yield() with nondeterministic
scheduling policies such as SCHED_OTHER is unspecified and very likely
means your application design is broken."

Signed-off-by: Jere Leppänen <jere.leppanen@nokia.com>
Reviewed-by: Petri Savolainen <petri.savolainen@nokia.com>