diff --git a/arch/arm64/src/common/arm64_gicv2.c b/arch/arm64/src/common/arm64_gicv2.c
index 8a41a4fb79..dd51003a9f 100644
--- a/arch/arm64/src/common/arm64_gicv2.c
+++ b/arch/arm64/src/common/arm64_gicv2.c
@@ -1393,6 +1393,26 @@ void arm64_gic_secondary_init(void)
   arm_gic_initialize();
 }
 
+/****************************************************************************
+ * Name: arm64_gic_raise_sgi
+ *
+ * Description:
+ *   Raise software generated interrupt to the target
+ *
+ * Input Parameters
+ *   sgi    - The SGI interrupt ID (0-15)
+ *   cpuset - The set of CPUs to receive the SGI
+ *
+ * Returned Value:
+ *   OK is always returned at present.
+ *
+ ****************************************************************************/
+
+int arm64_gic_raise_sgi(unsigned int sgi, uint16_t cpuset)
+{
+  arm_cpu_sgi(sgi, cpuset);
+  return 0;
+}
 #endif /* CONFIG_SMP */
 
 #endif /* CONFIG_ARM_GIC_VERSION == 2 */