--- zzzz-none-000/linux-4.9.231/arch/mips/include/asm/irq.h	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5590-729/linux-4.9.231/arch/mips/include/asm/irq.h	2022-03-30 12:03:33.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>