CONFIG_PROVE_LOCKING=y ?

It't not there/set! It depends on:
config PROVE_LOCKING
        bool "Lock debugging: prove locking correctness"
        depends on DEBUG_KERNEL && TRACE_IRQFLAGS_SUPPORT && STACKTRACE_SUPPORT && LOCKDEP_SUPPORT
        select LOCKDEP
so it looks like only DEBUG_KERNEL is set for alpha.
Maybe some dependencies are missing.. I'll check this.

Jarek Poplawski wrote:

On 04-11-2006 15:27, alpha @ steudten Engineering wrote:

quoted

kernel-2.6.18.1 ALPHA SX164
No "failed" on x86.
------------------------
| Locking API testsuite:
----------------------------------------------------------------------------
                                 | spin |wlock |rlock |mutex | wsem | rsem |
  --------------------------------------------------------------------------
                     A-A deadlock:failed|failed|  ok  |failed|failed|failed|

...

quoted

--------------------------------------------------------
143 out of 218 testcases failed, as expected. |
----------------------------------------------------

CONFIG_PROVE_LOCKING=y ?