tree 6770b8e84a884eb3def172de4392c5083c015c61
parent 217dc113176cdc8df03a72a85fc9a9f668f039e8
author John Bauman <jbauman@google.com> 1564085600 -0700
committer John Bauman <jbauman@google.com> 1564170345 +0000

Switch longer OSWaitus to descheduling the thread

Long spins are a waste of CPU. Also when spinning use some yield
instructions, since that might be slightly more efficient.

Change-Id: Ic7b2f33abd7951df535c12303a1b11033b4c4247