On 14/2/23 08:05, Josh Poimboeuf wrote:
play_dead() doesn't return. Annotate it as such. By extension this also makes arch_cpu_idle_dead() noreturn.Signed-off-by: Josh Poimboeuf <jpoim...@kernel.org> --- arch/ia64/kernel/process.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
Reviewed-by: Philippe Mathieu-Daudé <phi...@linaro.org>
