On 01/06/16 15:38, Stefano Stabellini wrote:
> as a consequence of 9d77b3c01d1261ce17c10097a1b393f2893ca657 being
> reverted.
>
> Signed-off-by: Stefano Stabellini
Some style corrections.
> @@ -342,9 +344,22 @@ void vgic_enable_irqs(struct vcpu *v, uint32_t r, int n)
> unsigned long flags;
On Wed, Jun 01, 2016 at 03:45:28PM +0100, Julien Grall wrote:
>
>
> On 01/06/16 15:38, Stefano Stabellini wrote:
> >as a consequence of 9d77b3c01d1261ce17c10097a1b393f2893ca657 being
> >reverted.
> >
> >Signed-off-by: Stefano Stabellini
>
> Reviewed-by: Julien Grall
Release-acked-by: Wei Liu
On 01/06/16 15:38, Stefano Stabellini wrote:
as a consequence of 9d77b3c01d1261ce17c10097a1b393f2893ca657 being
reverted.
Signed-off-by: Stefano Stabellini
Reviewed-by: Julien Grall
---
Changes in v2:
- fix typo
- add log_once
---
xen/arch/arm/vgic.c | 15 +++
1 file chang
as a consequence of 9d77b3c01d1261ce17c10097a1b393f2893ca657 being
reverted.
Signed-off-by: Stefano Stabellini
---
Changes in v2:
- fix typo
- add log_once
---
xen/arch/arm/vgic.c | 15 +++
1 file changed, 15 insertions(+)
diff --git a/xen/arch/arm/vgic.c b/xen/arch/arm/vgic.c
index