CONFIG_LOCKDEP_CROSSRELEASE (not configurable)

configname: CONFIG_LOCKDEP_CROSSRELEASE

Linux Kernel Configuration
└─>Lock Debugging (spinlocks, mutexes, etc...)
└─>LOCKDEP_CROSSRELEASE
In linux kernel since version 4.9.1 (release Date: 2017-01-06)  
This makes lockdep work for crosslock which is a lock allowed to
be released in a different context from the acquisition context.
Normally a lock must be released in the context acquiring the lock.
However, relexing this constraint helps synchronization primitives
such as page locks or completions can use the lock correctness
detector, lockdep.

is depended by
CONFIG_PROVE_LOCKING