--- zzzz-none-000/linux-5.15.111/arch/x86/include/asm/io_apic.h	2023-05-11 14:00:40.000000000 +0000
+++ puma7-atom-6670-761/linux-5.15.111/arch/x86/include/asm/io_apic.h	2024-02-07 10:22:34.000000000 +0000
@@ -174,6 +174,12 @@
 extern void restore_boot_irq_mode(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