[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <bcd145134c399f10baf6d51d77133026@kernel.org>
Date: Fri, 18 Sep 2020 17:07:34 +0100
From: Marc Zyngier <maz@...nel.org>
To: Will Deacon <will@...nel.org>,
Sergey Senozhatsky <sergey.senozhatsky@...il.com>
Cc: Catalin Marinas <catalin.marinas@....com>,
linux-arm-kernel@...ts.infradead.org, linux-kernel@...r.kernel.org
Subject: Re: [PATCH] arm64: ipi_teardown() should depend on HOTPLUG_CPU
On 2020-09-18 16:41, Will Deacon wrote:
> On Sat, Sep 19, 2020 at 12:35:48AM +0900, Sergey Senozhatsky wrote:
>> ipi_teardown() is used only when CONFIG_HOTPLUG_CPU is set.
>>
>> Signed-off-by: Sergey Senozhatsky <sergey.senozhatsky@...il.com>
>> ---
>> arch/arm64/kernel/smp.c | 4 +++-
>> 1 file changed, 3 insertions(+), 1 deletion(-)
>
> I think this is a duplicate of:
>
>
> https://lore.kernel.org/r/20200918123318.23764-1-yuehaibing@huawei.com
>
> which Marc is aware of (and I'm assuming he'll fix it in his series).
Indeed. Applied and pushed out. Thanks though!
M. (about to fix the same issue with arch/arm...)
--
Jazz is not dead. It just smells funny...
Powered by blists - more mailing lists