Re: [Xen-devel] [PATCH v6 12/36] ARM: GICv3: forward pending LPIs to guests

2017-04-07 Thread Julien Grall
Hi Andre, On 04/07/2017 06:32 PM, Andre Przywara wrote: diff --git a/xen/arch/arm/gic-v3-lpi.c b/xen/arch/arm/gic-v3-lpi.c index 292f2d0..5f3fe2c 100644 --- a/xen/arch/arm/gic-v3-lpi.c +++ b/xen/arch/arm/gic-v3-lpi.c @@ -136,6 +136,62 @@ uint64_t gicv3_get_redist_address(unsigned int cpu, bool

Re: [Xen-devel] [PATCH v6 12/36] ARM: GICv3: forward pending LPIs to guests

2017-04-07 Thread Stefano Stabellini
On Fri, 7 Apr 2017, Andre Przywara wrote: > Upon receiving an LPI on the host, we need to find the right VCPU and > virtual IRQ number to get this IRQ injected. > Iterate our two-level LPI table to find this information quickly when > the host takes an LPI. Call the existing injection function to l

[Xen-devel] [PATCH v6 12/36] ARM: GICv3: forward pending LPIs to guests

2017-04-07 Thread Andre Przywara
Upon receiving an LPI on the host, we need to find the right VCPU and virtual IRQ number to get this IRQ injected. Iterate our two-level LPI table to find this information quickly when the host takes an LPI. Call the existing injection function to let the GIC emulation deal with this interrupt. Als