From mboxrd@z Thu Jan 1 00:00:00 1970 From: Christoffer Dall Subject: Re: [PATCH 3/7] KVM: arm/arm64: vgic-v2: Always resample level interrupts Date: Mon, 23 May 2016 16:19:37 +0200 Message-ID: <20160523141937.GA9625@lvm> References: <1464007023-11736-1-git-send-email-marc.zyngier@arm.com> <1464007023-11736-4-git-send-email-marc.zyngier@arm.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Cc: linux-arm-kernel@lists.infradead.org, kvm@vger.kernel.org, kvmarm@lists.cs.columbia.edu To: Marc Zyngier Return-path: Received: from mail-wm0-f53.google.com ([74.125.82.53]:38515 "EHLO mail-wm0-f53.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751771AbcEWOTk (ORCPT ); Mon, 23 May 2016 10:19:40 -0400 Received: by mail-wm0-f53.google.com with SMTP id n129so74112584wmn.1 for ; Mon, 23 May 2016 07:19:39 -0700 (PDT) Content-Disposition: inline In-Reply-To: <1464007023-11736-4-git-send-email-marc.zyngier@arm.com> Sender: kvm-owner@vger.kernel.org List-ID: On Mon, May 23, 2016 at 01:36:59PM +0100, Marc Zyngier wrote: > When reading back from the list registers, we need to perform > two actions for level interrupts: > 1) clear the soft-pending bit if the interrupt is not pending > anymore *in the list register* > 2) resample the line level and propagate it to the pending state > > But these two actions linked, and we should *always* resample were linked? > the line level, no matter what state is in the list register. > Otherwise, we may end-up injecting spurious interrupts that > have been already retired. > > Signed-off-by: Marc Zyngier > --- > virt/kvm/arm/vgic/vgic-v2.c | 11 +++++++---- > 1 file changed, 7 insertions(+), 4 deletions(-) > > diff --git a/virt/kvm/arm/vgic/vgic-v2.c b/virt/kvm/arm/vgic/vgic-v2.c > index 8ad42c2..f659af0 100644 > --- a/virt/kvm/arm/vgic/vgic-v2.c > +++ b/virt/kvm/arm/vgic/vgic-v2.c > @@ -112,10 +112,13 @@ void vgic_v2_fold_lr_state(struct kvm_vcpu *vcpu) > } > } > > - /* Clear soft pending state when level IRQs have been acked */ > - if (irq->config == VGIC_CONFIG_LEVEL && > - !(val & GICH_LR_PENDING_BIT)) { > - irq->soft_pending = false; > + /* > + * Clear soft pending state when level irqs have been acked. > + * Always resample the line level. > + */ > + if (irq->config == VGIC_CONFIG_LEVEL) { > + if (!(val & GICH_LR_PENDING_BIT)) > + irq->soft_pending = false; > irq->pending = irq->line_level; shouldn't this context line then be: irq->pending = irq->line_level || irq->soft_pending; ?? Thanks, -Christoffer