Mark Johnston 620711e033 Fix an incorrect assertion in witness.
The number of available lock list entries for a thread is LOCK_CHILDCOUNT,
and each entry can record up to LOCK_NCHILDREN locks. When iterating over
the locks held by a thread, a bound on the loop index is therefore given
by LOCK_CHILDCOUNT * LOCK_NCHILDREN; WITNESS_COUNT is an unrelated
constant.

Reviewed by:	jhb
MFC after:	1 week
Sponsored by:	EMC / Isilon Storage Division
Differential Revision:	https://reviews.freebsd.org/D2974
2015-07-07 19:29:18 +00:00
..
2015-07-06 18:27:41 +00:00
2015-07-07 19:01:54 +00:00
2015-07-06 18:27:41 +00:00
2015-07-04 20:31:06 +00:00
2015-06-30 17:00:45 +00:00
2015-07-07 19:01:54 +00:00
2015-04-18 16:08:06 +00:00
2015-07-04 20:31:06 +00:00
2015-07-07 02:37:29 +00:00
2015-07-04 20:31:06 +00:00
2015-05-29 14:03:07 +00:00