[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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).


Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.