K 10
svn:author
V 7
davidxu
K 8
svn:date
V 27
2004-08-28T04:16:32.000000Z
K 7
svn:log
V 94
1. try to use existing mailbox address in thread_update_usr_ticks.
2. remove '\n' in KASSERT.

END