diff --git a/drivers/irqchip/irq-gic-v3.c b/drivers/irqchip/irq-gic-v3.c
index a1413e6d65bc..1684d19d46fb 100644
--- a/drivers/irqchip/irq-gic-v3.c
+++ b/drivers/irqchip/irq-gic-v3.c
@@ -1399,10 +1399,11 @@ static inline void gic_cpu_pm_init(void) { }
 #endif /* CONFIG_CPU_PM */
 
 #ifdef CONFIG_PM
-static void gic_resume(void)
+void gic_v3_resume(void)
 {
 	trace_android_vh_gic_resume(&gic_data);
 }
+EXPORT_SYMBOL_GPL(gic_v3_resume);
 
 static int gic_v3_suspend(void)
 {
diff --git a/include/linux/irqchip/arm-gic-v3.h b/include/linux/irqchip/arm-gic-v3.h
index ae2701122af8..d4a40c7f8e05 100644
--- a/include/linux/irqchip/arm-gic-v3.h
+++ b/include/linux/irqchip/arm-gic-v3.h
@@ -674,6 +674,8 @@ void gic_v3_cpu_init(void);
 void gic_v3_dist_wait_for_rwp(void);
 void gic_v3_resume(void);
 
+void gic_v3_resume(void);
+
 #endif
 
 #endif