CONFIG_HAVE_DEFAULT_NO_SPIN_MUTEXES (not configurable)

configname: CONFIG_HAVE_DEFAULT_NO_SPIN_MUTEXES

Linux Kernel Configuration
└─>HAVE_DEFAULT_NO_SPIN_MUTEXES
In linux kernel since version 2.6.30 (release Date: 2009-06-09)