K 10 svn:author V 7 davidxu K 8 svn:date V 27 2005-04-24T23:20:52.000000Z K 7 svn:log V 56 MFC: Fix race between thread_stopped and kern_wait. END