Re: [PATCH v2 00/24] cpu,sched: Mark arch_cpu_idle_dead() __noreturn
From: Philippe Mathieu-Daudé <hidden>
Date: 2023-02-14 09:26:37
Also in:
linux-mips, linux-sh, lkml, loongarch, sparclinux