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-04-17 15:53:35 +00:00
2001-04-16 17:04:41 +00:00