On Tue, 2015-06-30 at 14:51 +0100, Julien Grall wrote: > >> + if ( !platform_has_quirk(PLATFORM_QUIRK_GIC_64K_STRIDE) ) > > > > Perhaps the stride should be in the info struct? > > This is not related to any GICvN configuration but an hardware bug on > some platform (currently only xgene). And we are not immune to a similar > bug on GICv3. > > So I would prefer to keep the check in vgic_domain_init which is more > self contained than spread it in different place.
OK. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
