[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <CANeU7QkUdeR6HyDEVF1fkm9EN=SEkcuY0QPyZxpYnGAzDj7+kg@mail.gmail.com>
Date: Fri, 19 Oct 2012 15:14:22 -0700
From: Christopher Li <sparse@...isli.org>
To: Ed Cashin <ecashin@...aid.com>
Cc: akpm@...ux-foundation.org, josh@...htriplett.org, rob@...dley.net,
linux-doc@...r.kernel.org, linux-kernel@...r.kernel.org,
linux-sparse@...r.kernel.org, sam@...nborg.org, ak@...ux.intel.com
Subject: Re: [PATCH] Documentation/sparse.txt: document context annotations
for lock checking
On Thu, Oct 18, 2012 at 7:27 AM, Ed Cashin <ecashin@...aid.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 function entry, exit, or
> both.
>
> Signed-off-by: Ed Cashin <ecashin@...aid.com>
Signed-off-by: Christopher Li <sparse@...isli.org>
Chris
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists