[PATCH] Make spinlock/rwlock annotations more accurate by using parameters, not types
authorJosh Triplett <josht@us.ibm.com>
Fri, 29 Sep 2006 09:00:59 +0000 (02:00 -0700)
committerLinus Torvalds <torvalds@g5.osdl.org>
Fri, 29 Sep 2006 16:18:19 +0000 (09:18 -0700)
commit9f50b93f066f8dc339de9b0eb78a22a75e6c8f8f
tree9977ea31409d3ac73b9b47b9d0c5d3f0c7cbea87
parent92e9a8507ba81ff9e25bd9c5030ff8586269eefb
[PATCH] Make spinlock/rwlock annotations more accurate by using parameters, not types

The lock annotations used on spinlocks and rwlocks currently use
__{acquires,releases}(spinlock_t) and __{acquires,releases}(rwlock_t),
respectively.  This loses the information of which lock actually got
acquired or released, and assumes a different type for the parameter of
__acquires and __releases than the rest of the kernel.  While the current
implementations of __acquires and __releases throw away their argument,
this will not always remain the case.  Change this to use the lock
parameter instead, to preserve this information and increase consistency in
usage of __acquires and __releases.

Signed-off-by: Josh Triplett <josh@freedesktop.org>
Cc: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
include/linux/spinlock_api_smp.h