# CONFIG_ARCH_USE_QUEUED_SPINLOCKS is not set
