cpu/native: fix race in thread_yield_higher() [backport 2019.01]#10921

emmanuelsearch merged 2 commits into

RIOT-OS:2019.01-branchRIOT-OS/RIOT:2019.01-branchfrom

miri64:backport/2019.01/fix_native_thread_yield_highermiri64/RIOT:backport/2019.01/fix_native_thread_yield_higherCopy head branch name to clipboard