--- zzzz-none-000/linux-5.4.213/drivers/irqchip/irq-gic-common.c	2022-09-15 10:04:56.000000000 +0000
+++ miami-7690-761/linux-5.4.213/drivers/irqchip/irq-gic-common.c	2024-05-29 11:19:51.000000000 +0000
@@ -10,7 +10,7 @@
 
 #include "irq-gic-common.h"
 
-static DEFINE_RAW_SPINLOCK(irq_controller_lock);
+DEFINE_RAW_SPINLOCK(irq_controller_lock);
 
 static const struct gic_kvm_info *gic_kvm_info;