From mboxrd@z Thu Jan 1 00:00:00 1970 From: Josh Poimboeuf Subject: Re: [PATCH v2 19/24] xtensa/cpu: Make sure cpu_die() doesn't return Date: Tue, 14 Feb 2023 10:23:22 -0800 Message-ID: <20230214182322.r5tyeowxzloiuh72@treble> References: <1b4afd82-83cb-0060-7cab-8e16d2e69ff9@linaro.org> Mime-Version: 1.0 Content-Transfer-Encoding: quoted-printable Return-path: DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1676399005; bh=6EEHFrLsabjvymp2QY0maJnB4Ezo1N96TizvWsxliSs=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=ewo4sNIkf4SKN8X81e1VZLV0gftWY9x5Idojfu6eT2b5ZqWCugH7cdipfgrW/yItW dqagFjGOxb/3bL82FQa8uuxe//ztDAd9OjP7hBFIDi33dsqHZZjtip3V1HJ2oMssgq JOC+Yor+xpMwuL0MvLKpSDnAPlafCWbIbj+fVaPjRgLXxBLYj2+reObJ0duhgkj1On B/RwdybgTkIi3ajOUQ2j7ORpSeUDMZz187rZ02sRoCPqHerIGi+6Ive3pLH2MHMcC/ Wt6l7B+BR9KKMKD4veoKROyWZ38VxJ/Bk61QLyW3eGZbXyZkY95I+3EgwPU2h+98Tw pND7dbVAeFWAA== Content-Disposition: inline In-Reply-To: <1b4afd82-83cb-0060-7cab-8e16d2e69ff9@linaro.org> List-ID: Content-Type: text/plain; charset="iso-8859-1" To: Philippe =?utf-8?Q?Mathieu-Daud=C3=A9?= Cc: linux-kernel@vger.kernel.org, jgross@suse.com, richard.henderson@linaro.org, ink@jurassic.park.msu.ru, mattst88@gmail.com, linux-alpha@vger.kernel.org, linux@armlinux.org.uk, linux-arm-kernel@lists.infradead.org, catalin.marinas@arm.com, will@kernel.org, guoren@kernel.org, linux-csky@vger.kernel.org, linux-ia64@vger.kernel.org, chenhuacai@kernel.org, kernel@xen0n.name, loongarch@lists.linux.dev, f.fainelli@gmail.com, bcm-kernel-feedback-list@broadcom.com, tsbogend@alpha.franken.de, linux-mips@vger.kernel.org, jiaxun.yang@flygoat.com, mpe@ellerman.id.au, npiggin@gmail.com, christophe.leroy@csgroup.eu, linuxppc-dev@lists.ozlabs.org, ysato@users.sourceforge.jp, dalias@libc.org, linux-sh@vger.kernel.org, davem@davemloft.net, sparclinux@vger.kernel.org, tglx@linutronix.de, mingo@redhat. On Tue, Feb 14, 2023 at 08:55:32AM +0100, Philippe Mathieu-Daud=C3=A9 wrote: > Hi Josh, >=20 > On 14/2/23 08:05, Josh Poimboeuf wrote: > > cpu_die() doesn't return. Make that more explicit with a BUG(). > >=20 > > BUG() is preferable to unreachable() because BUG() is a more explicit > > failure mode and avoids undefined behavior like falling off the edge of > > the function into whatever code happens to be next. > >=20 > > Signed-off-by: Josh Poimboeuf > > --- > > arch/xtensa/kernel/smp.c | 2 ++ > > 1 file changed, 2 insertions(+) > >=20 > > diff --git a/arch/xtensa/kernel/smp.c b/arch/xtensa/kernel/smp.c > > index 4dc109dd6214..7bad78495536 100644 > > --- a/arch/xtensa/kernel/smp.c > > +++ b/arch/xtensa/kernel/smp.c >=20 > Can you update the documentation along? Currently we have: >=20 > /* > * Called from the idle thread for the CPU which has been shutdown. > * > * Note that we disable IRQs here, but do not re-enable them > * before returning to the caller. This is also the behaviour > * of the other hotplug-cpu capable cores, so presumably coming > * out of idle fixes this. > */ void __ref cpu_die(void) { idle_task_exit(); local_irq_disable(); __asm__ __volatile__( " movi a2, cpu_restart\n" " jx a2\n"); BUG(); } Hm, not only is the comment wrong, but it seems to be branching to cpu_restart? That doesn't seem right at all. Max/Chris? --=20 Josh