Hi Grygorii,

On 11/09/2025 09:12, Grygorii Strashko wrote:
From: Grygorii Strashko <grygorii_stras...@epam.com>

Restrict cpu_up_send_sgi() function to arm32 code as it's used by arm32
platforms only and unreachable on arm64 (Misra rule 2.1).

Signed-off-by: Grygorii Strashko <grygorii_stras...@epam.com>
> ---> Logically cpu_up_send_sgi() should be moved in arm32, but source is
"GPL-2.0-or-later" while possible destination is "GPL-2.0-only", so put it
under ifdef for now.

:(. I don't know if we will ever solve this license mess... Looking at the list of platform using cpu_up_send_sgi(), all the platforms are 10+ years old and to be honest except maybe the rcar2 development platforms. I doubt there are anyone using them.

So I would be tempted to get rid of them and mandate PSCI when booting on Xen.

Bertrand, Michal, Stefano any thoughts?

Meanwhile for this patch:

Acked-by: Julien Grall <jgr...@amazon.com>

Cheers,

--
Julien Grall


Reply via email to