RIOT-OS/RIOT — pull request #1057 by Kijewski (2014-04-25 16:23:03+00:00)
Title: core: imply current_prio in `sched_switch()`

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.