[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20230206222202.zreg3pyhynhvyggy@treble>
Date: Mon, 6 Feb 2023 14:22:02 -0800
From: Josh Poimboeuf <jpoimboe@...nel.org>
To: Michael Ellerman <mpe@...erman.id.au>
Cc: linux-kernel@...r.kernel.org, jgross@...e.com,
richard.henderson@...aro.org, ink@...assic.park.msu.ru,
mattst88@...il.com, linux-alpha@...r.kernel.org,
linux@...linux.org.uk, linux-arm-kernel@...ts.infradead.org,
catalin.marinas@....com, will@...nel.org, guoren@...nel.org,
linux-csky@...r.kernel.org, linux-ia64@...r.kernel.org,
chenhuacai@...nel.org, kernel@...0n.name,
loongarch@...ts.linux.dev, f.fainelli@...il.com,
bcm-kernel-feedback-list@...adcom.com, tsbogend@...ha.franken.de,
linux-mips@...r.kernel.org, jiaxun.yang@...goat.com,
npiggin@...il.com, christophe.leroy@...roup.eu,
linuxppc-dev@...ts.ozlabs.org, ysato@...rs.sourceforge.jp,
dalias@...c.org, linux-sh@...r.kernel.org, davem@...emloft.net,
sparclinux@...r.kernel.org, tglx@...utronix.de, mingo@...hat.com,
bp@...en8.de, dave.hansen@...ux.intel.com, x86@...nel.org,
hpa@...or.com, chris@...kel.net, jcmvbkbc@...il.com,
linux-xtensa@...ux-xtensa.org, peterz@...radead.org,
juri.lelli@...hat.com, vincent.guittot@...aro.org,
dietmar.eggemann@....com, rostedt@...dmis.org, bsegall@...gle.com,
mgorman@...e.de, bristot@...hat.com, vschneid@...hat.com,
paulmck@...nel.org
Subject: Re: [PATCH 12/22] powerpc/cpu: Mark start_secondary_resume()
__noreturn
On Mon, Feb 06, 2023 at 10:10:22PM +1100, Michael Ellerman wrote:
> Josh Poimboeuf <jpoimboe@...nel.org> writes:
> > start_secondary_resume() doesn't return. Annotate it as such. By
> > extension this also makes arch_cpu_idle_dead() noreturn.
>
> Can we also mark arch_cpu_idle_dead() (the C function) __noreturn ?
>
> Seems like it would be good documentation, even if it's not required
> once the generic prototype is __noreturn.
Yeah, agreed. Maybe I'll do that (for all the implementations) with
patch 22.
> But not a show-stopper.
>
> Acked-by: Michael Ellerman <mpe@...erman.id.au> (powerpc)
Thanks!
--
Josh
Powered by blists - more mailing lists