Re: [Xen-devel] [PATCH ARM v7 10/13] mini-os: arm: interrupt controller

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

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.




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