K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2013-06-25T20:23:08.377200Z
K 7
svn:log
V 357
A few mostly cosmetic nits to aid in debugging:
- Call lock_init() first before setting any lock_object fields in
  lock init routines.  This way if the machine panics due to a duplicate
  init the lock's original state is preserved.
- Somewhat similarly, don't decrement td_locks and td_slocks until after
  an unlock operation has completed successfully.

END