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