Locks

This case checks for a call to rcu_dereference when an RCU lock is not held.

DerefRCU

Semantic match finding an RCU lock that is taken but not released. This should be used with the following pairs of arguments, representing the locking and unlocking functions, respectively:
A note finding semantic match. This refers to this semantic match.