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

2017-04-05 Thread Andre Przywara
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

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

2017-04-05 Thread Stefano Stabellini
On Thu, 6 Apr 2017, 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

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

2017-04-06 Thread Andre Przywara
Hi, On 06/04/17 00:58, Stefano Stabellini wrote: > On Thu, 6 Apr 2017, 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.

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

2017-04-06 Thread Stefano Stabellini
On Thu, 6 Apr 2017, Andre Przywara wrote: > On 06/04/17 00:58, Stefano Stabellini wrote: > > On Thu, 6 Apr 2017, 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 hap

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

2017-04-06 Thread Julien Grall
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 hav