--- zzzz-none-000/linux-4.9.279/drivers/irqchip/irq-gic-common.c	2021-08-08 06:38:54.000000000 +0000
+++ puma7-arm-6591-750/linux-4.9.279/drivers/irqchip/irq-gic-common.c	2023-02-08 10:58:12.000000000 +0000
@@ -21,7 +21,7 @@
 
 #include "irq-gic-common.h"
 
-static DEFINE_RAW_SPINLOCK(irq_controller_lock);
+DEFINE_RAW_SPINLOCK(irq_controller_lock); /* AVM: Make public, used by fiq OS */
 
 static const struct gic_kvm_info *gic_kvm_info;