Re: [PATCH] arm64: ipi_teardown() should depend on HOTPLUG_CPU

From: Marc Zyngier
Date: Fri Sep 18 2020 - 12:07:39 EST

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@xxxxxxxxx>
arch/arm64/kernel/smp.c | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)

I think this is a duplicate of:

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...