# CONFIG_ARCH_HAS_FORCE_DMA_UNENCRYPTED is not set
