> 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
Attachment:
signature.asc
Description: This is a digitally signed message part
