1 files changed, 1 insertions, 4 deletions
diff --git a/bsps/shared/dev/irq/arm-gicv3.c b/bsps/shared/dev/irq/arm-gicv3.c
index c71a9f15ab..6c623f0ccb 100644
--- a/bsps/shared/dev/irq/arm-gicv3.c
+++ b/bsps/shared/dev/irq/arm-gicv3.c
@@ -192,10 +192,7 @@ rtems_status_code bsp_interrupt_vector_disable(rtems_vector_number vector)
 
     gic_id_disable(dist, vector);
   } else {
-    volatile gic_sgi_ppi *sgi_ppi =
-      gicv3_get_sgi_ppi(_SMP_Get_current_processor());
-
-    sgi_ppi->icspicer[0] = 1U << vector;
+    gicv3_sgi_ppi_disable(vector, _SMP_Get_current_processor());
   }
 
   return RTEMS_SUCCESSFUL;