arm64/cpu: Mark cpu_die() __noreturn
authorJosh Poimboeuf <jpoimboe@kernel.org>
Thu, 16 Feb 2023 18:42:01 +0000 (10:42 -0800)
committerJosh Poimboeuf <jpoimboe@kernel.org>
Mon, 6 Mar 2023 23:34:04 +0000 (15:34 -0800)
commit9bdc61ef27db5eaac48f1cc5deb8224603e79c89
tree791bbb57c9b31f0a8d6156d0d8d566793ef81d47
parentb40c7d6d31ac2f6b78371cdc08bc1b6b62f01375
arm64/cpu: Mark cpu_die() __noreturn

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>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Link: https://lkml.kernel.org/r/20230216184157.4hup6y6mmspr2kll@treble
Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>
arch/arm64/include/asm/smp.h
arch/arm64/kernel/smp.c