Re: [Xen-devel] [PATCH 11/28] ARM: GICv3: forward pending LPIs to guests

Hi Jan, On 03/03/17 07:58, Jan Beulich wrote: On 02.03.17 at 21:56, wrote: Ping? I'd like the question to be sorted out before Andre is sending a new version. On 02/15/2017 09:25 PM, Stefano Stabellini wrote: On Wed, 15 Feb 2017, Julien Grall wrote: Hi Stefano, On

Re: [Xen-devel] [PATCH 11/28] ARM: GICv3: forward pending LPIs to guests

>>> On 02.03.17 at 21:56, wrote: > Ping? I'd like the question to be sorted out before Andre is sending a > new version. > > On 02/15/2017 09:25 PM, Stefano Stabellini wrote: >> On Wed, 15 Feb 2017, Julien Grall wrote: >>> Hi Stefano, >>> >>> On 14/02/17 21:00, Stefano

Re: [Xen-devel] [PATCH 11/28] ARM: GICv3: forward pending LPIs to guests

Hi, Ping? I'd like the question to be sorted out before Andre is sending a new version. On 02/15/2017 09:25 PM, Stefano Stabellini wrote: On Wed, 15 Feb 2017, Julien Grall wrote: Hi Stefano, On 14/02/17 21:00, Stefano Stabellini wrote: On Mon, 30 Jan 2017, Andre Przywara wrote: +/* + *

Re: [Xen-devel] [PATCH 11/28] ARM: GICv3: forward pending LPIs to guests

On Wed, 15 Feb 2017, Julien Grall wrote: > Hi Stefano, > > On 14/02/17 21:00, Stefano Stabellini wrote: > > On Mon, 30 Jan 2017, Andre Przywara wrote: > > > +/* > > > + * Handle incoming LPIs, which are a bit special, because they are > > > potentially > > > + * numerous and also only get

Re: [Xen-devel] [PATCH 11/28] ARM: GICv3: forward pending LPIs to guests

Hi Andre, On 30/01/17 18:31, 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

Re: [Xen-devel] [PATCH 11/28] ARM: GICv3: forward pending LPIs to guests

Hi Stefano, On 14/02/17 21:00, Stefano Stabellini wrote: On Mon, 30 Jan 2017, Andre Przywara wrote: +/* + * Handle incoming LPIs, which are a bit special, because they are potentially + * numerous and also only get injected into guests. Treat them specially here, + * by just looking up their

Re: [Xen-devel] [PATCH 11/28] ARM: GICv3: forward pending LPIs to guests

On Mon, 30 Jan 2017, 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 >

[Xen-devel] [PATCH 11/28] ARM: GICv3: forward pending LPIs to guests

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.