From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ian Campbell <Ian.Campbell@citrix.com>
Subject: Re: [PATCH ARM v7 10/13] mini-os: arm: interrupt
 controller
Date: Mon, 8 Sep 2014 12:01:44 +0100
Message-ID: <1410174104.10156.168.camel@kazak.uk.xensource.com>
References: <1407512862-9373-1-git-send-email-talex5@gmail.com>
	<1407512862-9373-11-git-send-email-talex5@gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
Received: from mail6.bemta4.messagelabs.com ([85.158.143.247])
	by lists.xen.org with esmtp (Exim 4.72)
	(envelope-from <Ian.Campbell@citrix.com>) id 1XQwhh-0007Jy-1w
	for xen-devel@lists.xenproject.org; Mon, 08 Sep 2014 11:01:49 +0000
In-Reply-To: <1407512862-9373-11-git-send-email-talex5@gmail.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: Thomas Leonard <talex5@gmail.com>
Cc: xen-devel@lists.xenproject.org, stefano.stabellini@eu.citrix.com, Dave.Scott@eu.citrix.com, samuel.thibault@ens-lyon.org, anil@recoil.org
List-Id: xen-devel@lists.xenproject.org

On Fri, 2014-08-08 at 16:47 +0100, Thomas Leonard wrote:
> 
> +    /* Note: we could mark this as "device" memory here, but Xen will have already
> +     * set it that way in the second stage translation table, so it's not necessary.
> +     * See "Overlaying the memory type attribute" in the Architecture Reference Manual.
> +     */

You probably ought to not rely on that long term but it'll do for now.

I've not dug into this too deeply but I'm ok with it going in as is.

Ian.