K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-03-09T14:24:05.742875Z
K 7
svn:log
V 307
Always call vfp_discard() on thread death, not just when the VFP is
enabled.  In vfp_discard(), if the state in the VFP hardware belongs to
the thread which is dying, NULL out pcpu fpcurthread to indicate the
state currently in the hardware belongs to nobody.

Submitted by:	Juergen Weiss
Pointy hat to:	me

END