projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b2442a) | patch
ia64/cpu: Mark play_dead() __noreturn
authorJosh Poimboeuf <jpoimboe@kernel.org>
Tue, 14 Feb 2023 07:05:40 +0000 (23:05 -0800)
committerJosh Poimboeuf <jpoimboe@kernel.org>
Mon, 6 Mar 2023 23:34:05 +0000 (15:34 -0800)
commit93c0edffbc92abe1efb8c7081df0cc1577a79ace
tree7a69520dfc04a79f5d4674f464cc97dfea8886d7tree | snapshot
parent1b2442a835a0acc7d76ae2f48ca7a94f962b29c8commit | diff
ia64/cpu: Mark play_dead() __noreturn

play_dead() doesn't return.  Annotate it as such.  By extension this
also makes arch_cpu_idle_dead() noreturn.

Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Link: https://lore.kernel.org/r/7575bb38417bd8bcb5be980443f99cab29319342.1676358308.git.jpoimboe@kernel.org
Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>
arch/ia64/kernel/process.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git