K 10 svn:author V 6 marcel K 8 svn:date V 27 2009-06-20T05:36:53.466094Z K 7 svn:log V 305 Drop the high FP state of an exiting thread in cpu_thread_exit() and not in cpu_exit(). The latter is called after td_md.md_highfp_mtx has been destroyed, which results in a race condition when another thread wants to use the high FP registers on the CPU that still has the high FP registers in question. END