Re: [Xen-devel] [PATCH v9 2/8] xen/arm: rename *_xen_dcache_* operations to *_dcache_*

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Mon, 2014-10-20 at 17:58 +0100, Stefano Stabellini wrote:
> Given that we are in Xen, it is obvious that these are Xen flushes.

FWIW I think the original intention was that these would operate on the
xenheap (i.e. the permanent map). But we already have users of it which
use domain_map_page in order to flush domheap memory, so that's already
no longer the case.

(just pointing this out, no need to change anything).

Ian.



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