On Thu, 2015-10-08 at 19:23 +0100, Julien Grall wrote: > The size of the CPU interface will used in a follow-up patch to map the
^be > region in Xen memory. > > Based on GICv2 spec, the CPU interface should at least be 8KB, although > most of the platform we are supporting use incorrectly the GICv1 size > (i.e 4KB) in their DT. Only warn and update the size to avoid any > breakage on these platforms. > > Furthermore, Xen is relying on the fact that the Virtual CPU interface > been at least 8KB. As in reality the Virtual CPU interface matches the s/been/is/ > + /* TODO: Add check on distributor */ > + > + /* > + * The GICv2 CPU interface should at least be 8KB. Although, most of the > DT > + * doesn't correctly set it and use the GICv1 CPU interface size (i.e > 4KB). don't > + &vbase, &vsize); > if ( res ) > return; > > + /* > + * We emulate a vGICv2 using a GIC CPU interface of GUEST_GICC_SIZE. > + * So only support GICv2 on GICv3 when the virtuaL CPU interface is s/L/l/ Apart from the typos: Acked-by: Ian Campbell <ian.campb...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel