Koen Zandberg 9d5f87bf67
core/thread: Allow for inline thread_yield_higher
Similar to irq.h, this allows for inline the often trivial
thread_yield_higher function
2021-01-19 11:03:20 +01:00
..
2020-03-30 17:02:08 +02:00
2020-03-30 17:02:08 +02:00
2019-01-09 08:42:59 +01:00
2020-03-30 17:02:08 +02:00
2020-03-30 17:02:08 +02:00
2020-11-09 21:13:08 +01:00
2020-12-29 11:48:48 +01:00
2020-03-30 17:02:08 +02:00
2020-03-30 17:02:08 +02:00
2020-03-30 17:02:08 +02:00
2020-11-23 16:56:34 +01:00
2020-11-23 16:56:34 +01:00