diff options
| author | Josh Poimboeuf <jpoimboe@kernel.org> | 2023-02-13 23:05:45 -0800 |
|---|---|---|
| committer | Josh Poimboeuf <jpoimboe@kernel.org> | 2023-03-08 08:44:23 -0800 |
| commit | 9e57f049d1571db1dc77c69c87403defc9d3e5ae (patch) | |
| tree | af1be037477c827160cb17f574ae1db2312265d7 /scripts/gdb/linux/modules.py | |
| parent | a80ceed6c9c24088d7a2e3c414eae1fe88a8ccbe (diff) | |
mips/cpu: Mark play_dead() __noreturn
play_dead() doesn't return. Annotate it as such. By extension this
also makes arch_cpu_idle_dead() noreturn.
Acked-by: Florian Fainelli <f.fainelli@gmail.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Link: https://lore.kernel.org/r/2897b51a9b8beb5b594fe66fb1d3a479ddd2a0e2.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