mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-17 18:43:50 +01:00
In many places we needlessly use `sched_active_thread->pid` whilst we already have `sched_active_pid` with the same value, and one less indirection. `thread_getpid()` is made `static inline` so that there is no penalty in using this function over accessing `sched_active_pid` directly.