Re: [PATCH] Documentation/sparse.txt: document context annotations for lock checking

2012-10-19 Thread Christopher Li
On Thu, Oct 18, 2012 at 7:27 AM, Ed Cashin wrote: > The context feature of sparse is used with the Linux kernel > sources to check for imbalanced uses of locks. Document the > annotations defined in include/linux/compiler.h that tell sparse > what to expect when a lock is held on function entry,

Re: [PATCH] Documentation/sparse.txt: document context annotations for lock checking

2012-10-19 Thread Christopher Li
On Thu, Oct 18, 2012 at 7:27 AM, Ed Cashin ecas...@coraid.com wrote: The context feature of sparse is used with the Linux kernel sources to check for imbalanced uses of locks. Document the annotations defined in include/linux/compiler.h that tell sparse what to expect when a lock is held on

Re: [PATCH] Documentation/sparse.txt: document context annotations for lock checking

2012-10-18 Thread Josh Triplett
On Thu, Oct 18, 2012 at 07:27:26AM -0700, Ed Cashin wrote: > The context feature of sparse is used with the Linux kernel > sources to check for imbalanced uses of locks. Document the > annotations defined in include/linux/compiler.h that tell sparse > what to expect when a lock is held on

[PATCH] Documentation/sparse.txt: document context annotations for lock checking

2012-10-18 Thread Ed Cashin
The context feature of sparse is used with the Linux kernel sources to check for imbalanced uses of locks. Document the annotations defined in include/linux/compiler.h that tell sparse what to expect when a lock is held on function entry, exit, or both. Signed-off-by: Ed Cashin ---

[PATCH] Documentation/sparse.txt: document context annotations for lock checking

2012-10-18 Thread Ed Cashin
The context feature of sparse is used with the Linux kernel sources to check for imbalanced uses of locks. Document the annotations defined in include/linux/compiler.h that tell sparse what to expect when a lock is held on function entry, exit, or both. Signed-off-by: Ed Cashin

Re: [PATCH] Documentation/sparse.txt: document context annotations for lock checking

2012-10-18 Thread Josh Triplett
On Thu, Oct 18, 2012 at 07:27:26AM -0700, Ed Cashin wrote: The context feature of sparse is used with the Linux kernel sources to check for imbalanced uses of locks. Document the annotations defined in include/linux/compiler.h that tell sparse what to expect when a lock is held on function