K 10
svn:author
V 3
mjg
K 8
svn:date
V 27
2017-11-12T02:34:33.834771Z
K 7
svn:log
V 90
Use passed thread pointer instead of curthread in sys_sched_yield

No functional changes.

END