ian 5b807dd0fd 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
2014-03-09 14:24:05 +00:00
..
2013-06-07 21:23:11 +00:00
2014-02-02 21:44:04 +00:00
2012-06-14 14:38:55 +00:00
2012-06-13 05:02:51 +00:00
2012-06-13 05:02:51 +00:00
2012-06-13 05:02:51 +00:00
2014-01-06 17:16:27 +00:00
2012-06-13 05:02:51 +00:00
2013-01-17 09:52:35 +00:00
2012-06-13 05:02:51 +00:00
2014-01-06 17:16:27 +00:00
2012-06-13 05:02:51 +00:00
2013-06-08 07:16:22 +00:00
2013-03-11 10:56:46 +00:00
2012-06-13 05:02:51 +00:00
2012-12-19 00:24:31 +00:00