Re: [PATCH] Make spinlock/rwlock annotations more accurate by usingparameters, not types

From: Andrew Morton
Date: Tue Aug 22 2006 - 23:51:26 EST


On Tue, 22 Aug 2006 17:51:38 -0700
Josh Triplett <josht@xxxxxxxxxx> wrote:

> 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.

It won't? Why, what will happen?
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/