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.senozhat...@gmail.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-yuehaib...@huawei.com which Marc is aware of (and I'm assuming he'll fix it in his series). Will