K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2003-11-09T23:13:23.000000Z
K 7
svn:log
V 168
When a thread is being swapped-out, save the high FP registers. We
have a pointer in the PCPU to the PCB of the thread that currently
has its high FP registers loaded.

END