|
@@ -1081,6 +1081,8 @@ config PROVE_LOCKING
|
|
|
select DEBUG_MUTEXES
|
|
|
select DEBUG_RT_MUTEXES if RT_MUTEXES
|
|
|
select DEBUG_LOCK_ALLOC
|
|
|
+ select LOCKDEP_CROSSRELEASE
|
|
|
+ select LOCKDEP_COMPLETE
|
|
|
select TRACE_IRQFLAGS
|
|
|
default n
|
|
|
help
|
|
@@ -1152,8 +1154,6 @@ config LOCK_STAT
|
|
|
|
|
|
config LOCKDEP_CROSSRELEASE
|
|
|
bool "Lock debugging: make lockdep work for crosslocks"
|
|
|
- depends on PROVE_LOCKING
|
|
|
- default n
|
|
|
help
|
|
|
This makes lockdep work for crosslock which is a lock allowed to
|
|
|
be released in a different context from the acquisition context.
|
|
@@ -1164,9 +1164,6 @@ config LOCKDEP_CROSSRELEASE
|
|
|
|
|
|
config LOCKDEP_COMPLETE
|
|
|
bool "Lock debugging: allow completions to use deadlock detector"
|
|
|
- depends on PROVE_LOCKING
|
|
|
- select LOCKDEP_CROSSRELEASE
|
|
|
- default n
|
|
|
help
|
|
|
A deadlock caused by wait_for_completion() and complete() can be
|
|
|
detected by lockdep using crossrelease feature.
|