Re: [Xen-devel] [PATCH v5 30/30] ARM: vGIC: advertise LPI support

2017-04-07 Thread Julien Grall
Hi Andre, On 06/04/17 00:19, Andre Przywara wrote: To let a guest know about the availability of virtual LPIs, set the respective bits in the virtual GIC registers and let a guest control the LPI enable bit. Only report the LPI capability if the host has initialized at least one ITS. This remove

Re: [Xen-devel] [PATCH v5 30/30] ARM: vGIC: advertise LPI support

2017-04-06 Thread André Przywara
On 06/04/17 12:42, Julien Grall wrote: > Hi, > > On 06/04/17 11:21, Andre Przywara wrote: >> Hi, >> >> On 06/04/17 02:04, Stefano Stabellini wrote: >>> On Thu, 6 Apr 2017, Andre Przywara wrote: To let a guest know about the availability of virtual LPIs, set the respective bits in the vir

Re: [Xen-devel] [PATCH v5 30/30] ARM: vGIC: advertise LPI support

2017-04-06 Thread Julien Grall
Hi, On 06/04/17 11:21, Andre Przywara wrote: Hi, On 06/04/17 02:04, Stefano Stabellini wrote: On Thu, 6 Apr 2017, Andre Przywara wrote: To let a guest know about the availability of virtual LPIs, set the respective bits in the virtual GIC registers and let a guest control the LPI enable bit.

Re: [Xen-devel] [PATCH v5 30/30] ARM: vGIC: advertise LPI support

2017-04-06 Thread Andre Przywara
Hi, On 06/04/17 02:04, Stefano Stabellini wrote: > On Thu, 6 Apr 2017, Andre Przywara wrote: >> To let a guest know about the availability of virtual LPIs, set the >> respective bits in the virtual GIC registers and let a guest control >> the LPI enable bit. >> Only report the LPI capability if th

Re: [Xen-devel] [PATCH v5 30/30] ARM: vGIC: advertise LPI support

2017-04-05 Thread Stefano Stabellini
On Thu, 6 Apr 2017, Andre Przywara wrote: > To let a guest know about the availability of virtual LPIs, set the > respective bits in the virtual GIC registers and let a guest control > the LPI enable bit. > Only report the LPI capability if the host has initialized at least > one ITS. > This remove

[Xen-devel] [PATCH v5 30/30] ARM: vGIC: advertise LPI support

2017-04-05 Thread Andre Przywara
To let a guest know about the availability of virtual LPIs, set the respective bits in the virtual GIC registers and let a guest control the LPI enable bit. Only report the LPI capability if the host has initialized at least one ITS. This removes a "TBD" comment, as we now populate the processor nu