arm をプラットフォーム、Linux を使用する OS と考えてください。
カーネル構成で CONFIG_CPU_DCACHE_DISABLE を有効にすることにより、キャッシュが無効になっていることを考慮してください。このオプションは、基本的に L1 キャッシュを無効にします。L1キャッシュを無効にすると、明らかにL2キャッシュが無効になりますか?
これ以降、mcr 命令はキャッシュに影響を与えません。これは、dma_cache_maint() 操作が NULL と同等であることを意味しますか?
リンク: http://lxr.linux.no/#linux+v2.6.35/arch/arm/kernel/head.S#L166