lkml.org 
[lkml]   [2008]   [Apr]   [21]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [RFC 0/3] Examples for the new sparse context tracking functionality
On Mon, Apr 21, 2008 at 10:25:55AM +0200, Johannes Berg wrote:
>
> > At some point in the future, we might want to distinguish between
> > the different flavors of RCU -- except that there is already common
> > code that doesn't care which flavor of RCU is in use, as long as
> > some sort of RCU is present. So make that "some point in the distant
> > future"...
>
> No big deal, just declare
>
> my_specific_rcu_get() __acquires(RCU) __acquires(specificRCU);
>
> and then annotate whatever needs the specific RCU type with
> __requires(specificRCU)

Cute!!! I didn't realize you could mark a single interface with
multiple __acquires() markings.

So if there is at least one match, sparse is happy?

Thanx, Paul


\
 
 \ /
  Last update: 2008-04-21 16:57    [W:0.066 / U:1.172 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site