Hi Ian, On 20/01/15 15:51, Ian Campbell wrote: > On Mon, 2015-01-19 at 16:29 +0000, Julien Grall wrote: >> As backward GICv2 compatibility is not supported in the VGICv3 driver, >> the bit ARE_NS should be set at any time. > > Looking at the docs, I think you mean it is RAO/WI if GICv2 compat is > absent (rather than imply the guest should set it).
Right, I will update the commit message. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
