K 10 svn:author V 6 marcel K 8 svn:date V 27 2012-07-02T21:11:01.349491Z K 7 svn:log V 144 Implement cpu_flush_dcache(). This allows us to optimize __syncicache() for the common case in chich D-caches are coherent by virtue of busdma. END