John Baldwin 5d52039847 Save are floating point state in cpu_switch() if needed instead of relying
completely on lazy floating point state saving.  This is needed for the
SMP case since processes can migrate to other CPUs.

Submitted by:	dfr
2001-04-17 18:27:55 +00:00
..
2001-03-28 09:17:56 +00:00
2001-04-17 15:53:35 +00:00
2001-03-28 09:17:56 +00:00
2001-03-29 18:10:46 +00:00
2001-04-16 17:04:41 +00:00
2001-03-20 10:42:49 +00:00
2001-03-22 06:51:53 +00:00
2001-02-22 13:46:09 +00:00