From: Andre Przywara <andre.przywara@arm.com>
To: Gong John <johngong0791@gmail.com>
Cc: christoffer.dall@arm.com, Shengmin Gong <shengmin.gong@gmail.com>,
Marc Zyngier <marc.zyngier@arm.com>,
Julien Thierry <julien.thierry@arm.com>,
Jia He <hejianet@gmail.com>,
linux-arm-kernel@lists.infradead.org,
kvmarm@lists.cs.columbia.edu, linux-kernel@vger.kernel.org
Subject: Re: [PATCH] KVM: arm64: fix potential bug
Date: Tue, 12 Mar 2019 09:52:22 +0000 [thread overview]
Message-ID: <20190312095222.45227d05@donnerap.cambridge.arm.com> (raw)
In-Reply-To: <CAEg8mkxRj2jQSqnuqY239yDH3a4mkvabg+_6Q8+9Nd=mk+U2pw@mail.gmail.com>
On Tue, 12 Mar 2019 11:15:14 +0800
Gong John <johngong0791@gmail.com> wrote:
Hi,
> On Tue, Mar 12, 2019 at 9:44 AM André Przywara <andre.przywara@arm.com> wrote:
> >
> > On 12/03/2019 00:32, John Gong wrote:
> > Hi,
> >
> > > Since intid always >= VGIC_NR_PRIVATE_IRQS,
> >
> > How so? The PMU and the arch timer emulation use PPIs, so intid is
> > definitely < VGIC_NR_PRIVATE_IRQS there.
> >
> > > so then even vcpu == NULL, it never return -EINVAL.
> >
> > I am not sure I follow.
> > To uniquely identify an SPI interrupt, we just need the interrupt ID
> > (which is always >= 32). For PPIs and SGIs, we additionally need the
> > vCPU ID this private interrupt belongs to, as there are multiple
> > interrupts with the same INTID (one per VCPU).
> > The VCPU ID passed in for SPIs is just a dummy value (because we use the
> > same function to inject private and shared interrupts), so we don't need
> > to check for its validity.
> >
> > Cheers,
> > Andre.
> >
> Thanks for your explanation. It's my fault to not consider the PPIs
> and SGIs injection.
Don't worry, we are glad when people actually look at the code. And we rather have a false positive report than a bug slipping through.
Cheers,
Andre.
> Sorry for polluting the mail list.
>
> Cheers,
> John Gong
> > >
> > > Signed-off-by: Shengmin Gong <shengmin.gong@gmail.com>
> > > Signed-off-by: John Gong <johngong0791@gmail.com>
> > > ---
> > > virt/kvm/arm/vgic/vgic.c | 2 +-
> > > 1 file changed, 1 insertion(+), 1 deletion(-)
> > >
> > > diff --git a/virt/kvm/arm/vgic/vgic.c b/virt/kvm/arm/vgic/vgic.c
> > > index abd9c7352677..d3cb1ce880e2 100644
> > > --- a/virt/kvm/arm/vgic/vgic.c
> > > +++ b/virt/kvm/arm/vgic/vgic.c
> > > @@ -424,7 +424,7 @@ int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int intid,
> > > return ret;
> > >
> > > vcpu = kvm_get_vcpu(kvm, cpuid);
> > > - if (!vcpu && intid < VGIC_NR_PRIVATE_IRQS)
> > > + if (!vcpu)
> > > return -EINVAL;
> > >
> > > irq = vgic_get_irq(kvm, vcpu, intid);
> > >
> >
prev parent reply other threads:[~2019-03-12 9:52 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-03-12 0:32 John Gong
2019-03-12 1:42 ` André Przywara
2019-03-12 3:15 ` Gong John
2019-03-12 9:52 ` Andre Przywara [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20190312095222.45227d05@donnerap.cambridge.arm.com \
--to=andre.przywara@arm.com \
--cc=christoffer.dall@arm.com \
--cc=hejianet@gmail.com \
--cc=johngong0791@gmail.com \
--cc=julien.thierry@arm.com \
--cc=kvmarm@lists.cs.columbia.edu \
--cc=linux-arm-kernel@lists.infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=marc.zyngier@arm.com \
--cc=shengmin.gong@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®