mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-25 06:23:53 +01:00
There is no need to supply the current priority to `sched_switch()`, when this function can easily tell the value of `active_thread->priority` itself.