K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-07-01T17:27:44.166732Z
K 7
svn:log
V 237
Fix the logic for when to restore the VFP registers. It should restore
them when a different thread last used them, or when the thread was last
run on a different cpu.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

END