Spinlock debugging

modulename: spinlock_debug.ko

and/or

spinlock.ko

configname: CONFIG_DEBUG_SPINLOCK

Linux Kernel Configuration
└─>Spinlock debugging
In linux kernel since version 2.6.12  
Say Y here and build SMP to catch missing spinlock initialization
and certain other kinds of spinlock errors commonly made. This is
best used in conjunction with the NMI watchdog so that spinlock
deadlocks are also debuggable.