# CONFIG_DEBUG_SPINLOCK is not set