Messages in this thread | | | Date | Thu, 2 Mar 2023 11:55:52 +0100 | Subject | Re: [PATCH v2.1 04/24] arm64/cpu: Mark cpu_die() __noreturn | From | Philippe Mathieu-Daudé <> |
| |
On 16/2/23 19:41, Josh Poimboeuf wrote: > cpu_die() doesn't return. Annotate it as such. By extension this also > makes arch_cpu_idle_dead() noreturn. > > Acked-by: Mark Rutland <mark.rutland@arm.com> > Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org> > --- > arch/arm64/include/asm/smp.h | 2 +- > arch/arm64/kernel/smp.c | 2 +- > 2 files changed, 2 insertions(+), 2 deletions(-)
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
| |