# CONFIG_ARCH_HAS_MEMBARRIER_SYNC_CORE is not set
