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
..
2019-08-29 21:54:20 +02:00
2019-09-05 10:10:02 +02:00
2019-08-06 19:43:54 +02:00
2019-02-27 10:48:08 +01:00
2018-09-20 13:59:06 +02:00