# CONFIG_PARAVIRT_SPINLOCKS is not set