Re: [PATCH v2 00/24] cpu,sched: Mark arch_cpu_idle_dead() __noreturn
From: Josh Poimboeuf <jpoimboe@kernel.org>
Date: 2023-02-14 18:30:04
Also in:
linux-alpha, linux-mips, linux-sh, lkml, loongarch, sparclinux