K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-01-08T10:23:31.337203Z
K 7
svn:log
V 178
Move some of the common thread switching code into C. This will help with
future optimisations, e.g. using Address Space IDs (asid).

MFC after:	1 week
Sponsored by:	DARPA, AFRL

END