Subject: Re: Adding to KNF.
To: None <xs@kittenz.org>
From: Bill Sommerfeld <sommerfeld@netbsd.org>
List: tech-kern
Date: 06/16/2002 17:29:59 
> I noticed LOCK_ASSERT({!,}simple_lock_held()) in several places. Would this
> suffice for statement #1?

exactly.  this is much more valuable than a "lock must/must not be
held" comment.

					- Bill