diff --git a/bsps/include/dev/irq/arm-gic-irq.h b/bsps/include/dev/irq/arm-gic-irq.h
index 25870fec07..fd7fec59ce 100644
--- a/bsps/include/dev/irq/arm-gic-irq.h
+++ b/bsps/include/dev/irq/arm-gic-irq.h
@@ -83,22 +83,6 @@ rtems_status_code arm_gic_irq_get_group(
 
 void arm_gic_trigger_sgi(rtems_vector_number vector, uint32_t targets);
 
-static inline rtems_status_code arm_gic_irq_generate_software_irq(
-  rtems_vector_number vector,
-  uint32_t targets
-)
-{
-  rtems_status_code sc = RTEMS_SUCCESSFUL;
-
-  if (vector <= ARM_GIC_IRQ_SGI_15) {
-    arm_gic_trigger_sgi(vector, targets);
-  } else {
-    sc = RTEMS_INVALID_ID;
-  }
-
-  return sc;
-}
-
 #ifdef RTEMS_SMP
 uint32_t arm_gic_irq_processor_count(void);
 
diff --git a/bsps/include/dev/irq/arm-gic-tm27.h b/bsps/include/dev/irq/arm-gic-tm27.h
index 38e3ecf938..a180c5087e 100644
--- a/bsps/include/dev/irq/arm-gic-tm27.h
+++ b/bsps/include/dev/irq/arm-gic-tm27.h
@@ -111,9 +111,9 @@ static inline void Cause_tm27_intr(void)
 {
   rtems_status_code sc;
 
-  sc = arm_gic_irq_generate_software_irq(
+  sc = rtems_interrupt_raise_on(
     ARM_GIC_TM27_IRQ_LOW,
-    1U << _SMP_Get_current_processor()
+    _SMP_Get_current_processor()
   );
   _Assert_Unused_variable_equals( sc, RTEMS_SUCCESSFUL );
 }
@@ -127,9 +127,9 @@ static inline void Lower_tm27_intr(void)
 {
   rtems_status_code sc;
 
-  sc = arm_gic_irq_generate_software_irq(
+  sc = rtems_interrupt_raise_on(
     ARM_GIC_TM27_IRQ_HIGH,
-    1U << _SMP_Get_current_processor()
+    _SMP_Get_current_processor()
   );
   _Assert_Unused_variable_equals( sc, RTEMS_SUCCESSFUL );
 }