|
@@ -2031,11 +2031,13 @@ void locking_selftest(void)
|
|
print_testname("mixed read-lock/lock-write ABBA");
|
|
print_testname("mixed read-lock/lock-write ABBA");
|
|
pr_cont(" |");
|
|
pr_cont(" |");
|
|
dotest(rlock_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
|
|
dotest(rlock_ABBA1, FAILURE, LOCKTYPE_RWLOCK);
|
|
|
|
+#ifdef CONFIG_PROVE_LOCKING
|
|
/*
|
|
/*
|
|
* Lockdep does indeed fail here, but there's nothing we can do about
|
|
* Lockdep does indeed fail here, but there's nothing we can do about
|
|
* that now. Don't kill lockdep for it.
|
|
* that now. Don't kill lockdep for it.
|
|
*/
|
|
*/
|
|
unexpected_testcase_failures--;
|
|
unexpected_testcase_failures--;
|
|
|
|
+#endif
|
|
|
|
|
|
pr_cont(" |");
|
|
pr_cont(" |");
|
|
dotest(rwsem_ABBA1, FAILURE, LOCKTYPE_RWSEM);
|
|
dotest(rwsem_ABBA1, FAILURE, LOCKTYPE_RWSEM);
|