| Date | Tue, 14 Feb 2023 09:07:02 +0100 | Subject | Re: [PATCH v2 06/24] ia64/cpu: Mark play_dead() __noreturn | From | Philippe Mathieu-Daudé <> |
| |
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 <jpoimboe@kernel.org> > --- > arch/ia64/kernel/process.c | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-)
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
|