--- zzzz-none-000/linux-4.9.276/arch/mips/include/asm/irq.h	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/arch/mips/include/asm/irq.h	2023-04-05 08:19:00.000000000 +0000
@@ -12,6 +12,9 @@
 #include <linux/linkage.h>
 #include <linux/smp.h>
 #include <linux/irqdomain.h>
+#if defined(CONFIG_AVM_ENHANCED)
+#include <asm/avm_enh/avm_enh.h>
+#endif /*--- #if defined(CONFIG_AVM_ENHANCED) ---*/
 
 #include <asm/mipsmtregs.h>