On Thu, 10 Jul 2014, Anup Patel wrote: > On Wed, Jul 9, 2014 at 8:41 PM, Stefano Stabellini > <stefano.stabell...@eu.citrix.com> wrote: > > On Wed, 9 Jul 2014, Julien Grall wrote: > >> On 07/09/2014 03:40 PM, Ian Campbell wrote: > >> >> I think we should check GIC Dist address passed in DTS by > >> >> u-boot to Xen. If GIC Dist address is secured address then > >> >> enable the quirk otherwise disable the qurik. > >> > > >> > Isn't IGROUPR readable from NS? In which case we should be able to spot > >> > the difference, I think? > > > > Anup, can you confirm that we can use IGROUPR to spot the difference? > > Otherwise is there another register we can use? > > Yes, IGROUPR of the secured GIC registers would be correct register > to spot the difference. > > More precisely, if IGROUPR0 == 0xFFFFFFFF in GIC secured registers then > don't use the quirk for X-Gene. > > > > > In any case given that only you can test it, I think that it should be > > one of you guys that come up with a way to detect the change and submit > > a patch to conditionally disable the workaround. > > Sure, most likely Pranav will send a patch for Xen once APM releases > updated u-boot binary.
This slept through the cracks. Pranav, do you have a patch for this? It is important we fix this because as you know, not only PLATFORM_QUIRK_GUEST_PIRQ_NEED_EOI is slower but also not entirely safe. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
