K 10
svn:author
V 7
davidxu
K 8
svn:date
V 27
2012-03-21T07:07:00.227903Z
K 7
svn:log
V 138
Change semaphore to merge waiter bit and count in same word, this allows
us gracefully to destroy semaphore, also remove rmb() ambiguity.

END