# CONFIG_QUEUED_SPINLOCKS is not set
