Martine Lenders 4c88cb5f0e lwip: sys_arch: replace sched_switch() with thread_yield_higher()
`sched_switch()` is supposed to be used in core only.

This fixes #6756.
2019-09-24 16:33:11 +02:00
..
2018-10-15 21:32:34 +02:00
2018-06-11 19:12:02 +02:00
2016-03-30 00:10:38 +02:00