jhb 19d363377e 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.
2013-06-25 20:23:08 +00:00
..
2013-06-20 14:30:04 +00:00
2013-06-08 13:30:13 +00:00
2013-06-23 02:44:42 +00:00
2013-06-14 23:04:31 +00:00
2013-05-12 16:43:26 +00:00
2013-06-01 12:21:59 +00:00
2013-04-17 11:45:15 +00:00
MFC
2013-02-21 21:59:35 +00:00
2013-05-31 00:43:41 +00:00
2013-06-24 13:36:16 +00:00
2013-06-18 06:55:58 +00:00
MFC
2013-03-13 01:05:42 +00:00