Hi Christoffer,

just one small nit I stumbled upon:

On 04/09/15 20:40, Christoffer Dall wrote:
> diff --git a/virt/kvm/arm/vgic.c b/virt/kvm/arm/vgic.c
> index 9ed8d53..f4ea950 100644
> --- a/virt/kvm/arm/vgic.c
> +++ b/virt/kvm/arm/vgic.c
> @@ -1422,34 +1422,43 @@ static bool vgic_process_maintenance(struct kvm_vcpu 
> *vcpu)
>  /*
>   * Save the physical active state, and reset it to inactive.
>   *
> - * Return 1 if HW interrupt went from active to inactive, and 0 otherwise.
> + * Return true if there's a pending level triggered interrupt line to queue.
>   */
> -static int vgic_sync_hwirq(struct kvm_vcpu *vcpu, struct vgic_lr vlr)
> +static bool vgic_sync_hwirq(struct kvm_vcpu *vcpu, int lr, struct vgic_lr 
> vlr)
>  {
>       struct irq_phys_map *map;
> +     bool phys_active;
>       int ret;
>  
>       if (!(vlr.state & LR_HW))
>               return 0;

This should read "return false;" now.

Cheers,
Andre.

>  
>       map = vgic_irq_map_search(vcpu, vlr.irq);
> -     BUG_ON(!map || !map->active);
> +     BUG_ON(!map);
>  
>       ret = irq_get_irqchip_state(map->irq,
>                                   IRQCHIP_STATE_ACTIVE,
> -                                 &map->active);
> +                                 &phys_active);
>  
>       WARN_ON(ret);
>  
> -     if (map->active) {
> +     if (phys_active) {
> +             /*
> +              * Interrupt still marked as active on the physical
> +              * distributor, so guest did not EOI it yet.  Reset to
> +              * non-active so that other VMs can see interrupts from this
> +              * device.
> +              */
>               ret = irq_set_irqchip_state(map->irq,
>                                           IRQCHIP_STATE_ACTIVE,
>                                           false);
>               WARN_ON(ret);
> -             return 0;
> +             return false;
>       }
>  
> -     return 1;
> +     /* Mapped edge-triggered interrupts not yet supported. */
> +     WARN_ON(vgic_irq_is_edge(vcpu, vlr.irq));
> +     return process_level_irq(vcpu, lr, vlr);
>  }
>  
>  /* Sync back the VGIC state after a guest run */
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to