Search notes:
CONFIG_DEBUG_MUTEXES
See also
Kernel lock: mutex
Index