2 Commits (14bb8780f3ae78be32dd4a4c3021dcf55e45a71e)

Author	SHA1	Message	Date
René Kijewski	2cb4166c3e	all over the place: use sched_active_pid ... 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.	9 years ago
Hauke Petersen	2fa9b4de82	cpu: Initial import of stm32f4	9 years ago