--- zzzz-none-000/linux-4.9.279/arch/x86/include/asm/io_apic.h	2021-08-08 06:38:54.000000000 +0000
+++ puma7-atom-6591-750/linux-4.9.279/arch/x86/include/asm/io_apic.h	2023-02-08 11:43:42.000000000 +0000
@@ -195,6 +195,12 @@
 extern void setup_ioapic_dest(void);
 extern int IO_APIC_get_PCI_irq_vector(int bus, int devfn, int pin);
 extern void print_IO_APICs(void);
+
+#if IS_ENABLED(CONFIG_AVM_ENHANCED)
+extern int IO_APIC_enable_nmi(int irq, const cpumask_t *mask);
+extern int IO_APIC_disable_nmi(int irq);
+#endif /* IS_ENABLED(CONFIG_AVM_ENHANCED) */
+
 #else  /* !CONFIG_X86_IO_APIC */
 
 #define IO_APIC_IRQ(x)		0