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

[Sergey Senozhatsky]

On (20/09/18 17:07), Marc Zyngier wrote:
> 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 at 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!

Oh, cool. Thanks.

	-ss