Messages in this thread | | | Subject | Re: [RFC 0/3] Examples for the new sparse context tracking functionality | From | Johannes Berg <> | Date | Mon, 21 Apr 2008 10:25:55 +0200 |
| |
> 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)
johannes [unhandled content-type:application/pgp-signature]
| |