On Mon, 3 Jul 2023 at 10:34, Marc Zyngier <maz@kernel.org> wrote:>> Comparing with what we do on arm64, a less radical change would be to> move the IPI init after notify_cpu_starting(), which explicitly> enables RCU usage.Ack, that looks right to me. Linus