--- zzzz-none-000/linux-5.4.213/include/linux/irqchip/arm-gic.h	2022-09-15 10:04:56.000000000 +0000
+++ miami-7690-761/linux-5.4.213/include/linux/irqchip/arm-gic.h	2024-05-29 11:20:02.000000000 +0000
@@ -60,6 +60,7 @@
 #define GICD_DISABLE			0x0
 #define GICD_INT_ACTLOW_LVLTRIG		0x0
 #define GICD_INT_EN_CLR_X32		0xffffffff
+#define GICD_INT_DEF_NONSEC		0xffffffff
 #define GICD_INT_EN_SET_SGI		0x0000ffff
 #define GICD_INT_EN_CLR_PPI		0xffff0000
 
@@ -162,5 +163,8 @@
 void gic_migrate_target(unsigned int new_cpu_id);
 unsigned long gic_get_sgir_physaddr(void);
 
+struct irq_domain *get_irq_domain(void);
+extern raw_spinlock_t irq_controller_lock;
+
 #endif /* __ASSEMBLY */
 #endif