Skip to content
Commit 9bdc61ef authored by Josh Poimboeuf's avatar Josh Poimboeuf
Browse files

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: default avatarMark Rutland <mark.rutland@arm.com>
Reviewed-by: default avatarPhilippe Mathieu-Daudé <philmd@linaro.org>
Link: https://lkml.kernel.org/r/20230216184157.4hup6y6mmspr2kll@treble


Signed-off-by: default avatarJosh Poimboeuf <jpoimboe@kernel.org>
parent b40c7d6d
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment