--- zzzz-none-000/linux-5.15.111/drivers/irqchip/irq-gic-common.c	2023-05-11 14:00:40.000000000 +0000
+++ puma7-arm-6670-761/linux-5.15.111/drivers/irqchip/irq-gic-common.c	2024-02-07 09:27:43.000000000 +0000
@@ -10,7 +10,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 */
 
 void gic_enable_of_quirks(const struct device_node *np,
 			  const struct gic_quirk *quirks, void *data)