K 10
svn:author
V 6
adrian
K 8
svn:date
V 27
2011-08-31T06:35:50.410498Z
K 7
svn:log
V 330
Code tidyups:

* make the code compile without witness/invariants - the lock checks
  turn into null operations and thus some txq variables were never
  being used, generating a compiler error.

* Don't pointlessly keep recalculating pointer values by passing in
  an integer TID value when a pointer itself will do the job fine.

END