diff --git a/plat/common/plat_gicv3.c b/plat/common/plat_gicv3.c
index 5a6021c..abb3f1d 100644
--- a/plat/common/plat_gicv3.c
+++ b/plat/common/plat_gicv3.c
@@ -30,6 +30,7 @@
 #pragma weak plat_ic_is_spi
 #pragma weak plat_ic_is_ppi
 #pragma weak plat_ic_is_sgi
+#pragma weak plat_ic_get_interrupt_active
 
 CASSERT((INTR_TYPE_S_EL1 == INTR_GROUP1S) &&
 	(INTR_TYPE_NS == INTR_GROUP1NS) &&
@@ -180,6 +181,11 @@
 {
 	return (id >= MIN_SGI_ID) && (id < MIN_PPI_ID);
 }
+
+unsigned int plat_ic_get_interrupt_active(unsigned int id)
+{
+	return gicv3_get_interrupt_active(id, plat_my_core_pos());
+}
 #endif
 #ifdef IMAGE_BL32