Re: [Xen-devel] [PATCH v5 16/30] ARM: vGICv3: handle disabled LPIs

[Julien Grall <julien.grall@xxxxxxx>]

Hi Andre,

On 04/06/2017 12:19 AM, Andre Przywara wrote:
> If a guest disables an LPI, we do not forward this to the associated
> host LPI to avoid queueing commands to the host ITS command queue.
> So it may happen that an LPI fires nevertheless on the host. In this
> case we can bail out early, but have to save the pending state on the
> virtual side. We do this by storing the pending bit in struct
> pending_irq, which is assiociated with mapped LPIs.
s/assiociated/associated/

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel