diff options
| author | Josh Poimboeuf <jpoimboe@kernel.org> | 2023-02-13 23:05:52 -0800 |
|---|---|---|
| committer | Josh Poimboeuf <jpoimboe@kernel.org> | 2023-03-08 08:44:26 -0800 |
| commit | eab89405b6b59947ee29cc21fb39ead66142c9b5 (patch) | |
| tree | afac3dd138192d3fc3bd70dfb8948d770e7d8e17 /scripts/gdb/linux/modules.py | |
| parent | a02f50b573b3c90a3633a5ab67435fe4c0de144d (diff) | |
x86/cpu: Mark play_dead() __noreturn
play_dead() doesn't return. Annotate it as such. By extension this
also makes arch_cpu_idle_dead() noreturn.
Link: https://lore.kernel.org/r/f3a069e6869c51ccfdda656b76882363bc9fcfa4.1676358308.git.jpoimboe@kernel.org
Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>
Diffstat (limited to 'scripts/gdb/linux/modules.py')
0 files changed, 0 insertions, 0 deletions