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.rutl...@arm.com> Signed-off-by: Josh Poimboeuf <jpoim...@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é <phi...@linaro.org>
