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.
xen/arch/arm/smpboot.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/xen/arch/arm/smpboot.c b/xen/arch/arm/smpboot.c
index 7f3cfa812edb..45f3be323687 100644
--- a/xen/arch/arm/smpboot.c
+++ b/xen/arch/arm/smpboot.c
@@ -464,6 +464,7 @@ static void set_smp_up_cpu(unsigned long mpidr)
}
+#ifdef CONFIG_ARM_32
int __init cpu_up_send_sgi(int cpu)
{
/* We don't know the GIC ID of the CPU until it has woken up, so just
@@ -473,6 +474,7 @@ int __init cpu_up_send_sgi(int cpu)
return 0;
}
+#endif
/* Bring up a remote CPU */
int __cpu_up(unsigned int cpu)
--
2.34.1
