Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII;
 format=flowed
Content-Transfer-Encoding: 7bit
Date:   Thu, 12 Mar 2020 17:06:49 +0000
From:   Marc Zyngier <maz@kernel.org>
To:     Tim Harvey <tharvey@gateworks.com>
Cc:     catalin.marinas@arm.com, jason@lakedaemon.net,
        linux-kernel@vger.kernel.org, msalter@redhat.com,
        rrichter@marvell.com, tglx@linutronix.de
Subject: Re: [PATCH] irqchip/gic-v3: Workaround Cavium erratum 38539 when
 reading GICD_TYPER2
In-Reply-To: <CAJ+vNU3Rc1xf_vVVEONgExfpGCXC97zKZZq70iE6L2L4VKf4ZQ@mail.gmail.com>
References: <CAJ+vNU3Rc1xf_vVVEONgExfpGCXC97zKZZq70iE6L2L4VKf4ZQ@mail.gmail.com>
Message-ID: <f7be65a9e3fe4f6aa9e99f3a625da8ee@kernel.org>
User-Agent: Roundcube Webmail/1.3.10
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

Tim,

On 2020-03-12 16:56, Tim Harvey wrote:
> This resolves failure to boot on OcteonTX (TX1).
> 
> Fixes: f2d8340 ("irqchip/gic-v3: Add GICv4.1 VPEID size discovery")

I disagree here. There's nothing wrong with that initial patch,
and the bug is squarely with the hardware.

> Tested-by: Tim Harvey <tharvey@gateworks.com>

Thanks for that. I'll try and send a pull request tomorrow.

         M.
-- 
Jazz is not dead. It just smells funny...