Messages in this thread | | | Date | Fri, 18 Sep 2020 17:07:34 +0100 | From | Marc Zyngier <> | 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@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-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...
| |