K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2001-04-17T18:27:55.000000Z
K 7
svn:log
V 218
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

END