Re: [Xen-devel] [RFC PATCH v2 10/26] ARM: GICv3: forward pending LPIs to guests

2017-01-12 Thread Stefano Stabellini
On Thu, 12 Jan 2017, Andre Przywara wrote: > On 05/01/17 22:10, Stefano Stabellini wrote: > > On Thu, 22 Dec 2016, Andre Przywara wrote: > >> Upon receiving an LPI, 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

Re: [Xen-devel] [RFC PATCH v2 10/26] ARM: GICv3: forward pending LPIs to guests

2017-01-12 Thread Andre Przywara
Hi, On 05/01/17 22:10, Stefano Stabellini wrote: > On Thu, 22 Dec 2016, Andre Przywara wrote: >> Upon receiving an LPI, 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 L

Re: [Xen-devel] [RFC PATCH v2 10/26] ARM: GICv3: forward pending LPIs to guests

2017-01-05 Thread Stefano Stabellini
On Thu, 22 Dec 2016, Andre Przywara wrote: > Upon receiving an LPI, 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 > GI

[Xen-devel] [RFC PATCH v2 10/26] ARM: GICv3: forward pending LPIs to guests

2016-12-22 Thread Andre Przywara
Upon receiving an LPI, 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. Signed-off-by: