From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ian Campbell <Ian.Campbell@citrix.com>
Subject: Re: [PATCH v9 2/8] xen/arm: rename *_xen_dcache_*
 operations to *_dcache_*
Date: Tue, 21 Oct 2014 10:10:31 +0100
Message-ID: <1413882631.23337.7.camel@citrix.com>
References: <alpine.DEB.2.02.1410201743400.876@kaball.uk.xensource.com>
	<1413824297-2805-2-git-send-email-stefano.stabellini@eu.citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <1413824297-2805-2-git-send-email-stefano.stabellini@eu.citrix.com>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Cc: julien.grall@citrix.com, xen-devel@lists.xensource.com, JBeulich@suse.com
List-Id: xen-devel@lists.xenproject.org

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.