Re: [Xen-devel] [PATCH v2 3/4] xen/arm: clean and invalidate all guest caches by VMID after domain build.

[Julien Grall <julien.grall@xxxxxxxxxx>]

On 05/02/14 16:03, Ian Campbell wrote:
   > +void sync_page_to_ram(unsigned long mfn)
> +{
> +    void *v = map_domain_page(mfn);
> +
> +    flush_xen_dcache_va_range(v, PAGE_SIZE);
> +
flush_xen_dcache_va_range uses DCCMVAC (for ARM32 bits), which only 
clean the cache.
Following your commit message, we might want to use DCCIMVAC.

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel