Re: [Xen-devel] [RFC PATCH 24/24] ARM: vGIC: advertising LPI support

2016-11-10 Thread Julien Grall
On 10/11/16 00:49, Stefano Stabellini wrote: On Wed, 28 Sep 2016, 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 init

Re: [Xen-devel] [RFC PATCH 24/24] ARM: vGIC: advertising LPI support

2016-11-09 Thread Stefano Stabellini
On Wed, 28 Sep 2016, 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. > > Signed-

[Xen-devel] [RFC PATCH 24/24] ARM: vGIC: advertising LPI support

2016-09-28 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. Signed-off-by: Andre Przywara --- xen/arch/arm/vgic-v3.c | 28