# CONFIG_HWSPINLOCK_OMAP is not set
