# CONFIG_ARCH_HAS_CPU_CACHE_INVALIDATE_MEMREGION is not set
