--- zzzz-none-000/linux-5.15.111/kernel/irq/internals.h	2023-05-11 14:00:40.000000000 +0000
+++ puma7-arm-6670-761/linux-5.15.111/kernel/irq/internals.h	2024-02-07 09:28:08.000000000 +0000
@@ -6,6 +6,12 @@
  * kernel/irq/. Do not even think about using any information outside
  * of this file for your non core code.
  */
+
+/*
+ * Includes Intel Corporation's changes/modifications dated: 2012.
+ * Changed/modified portions - Copyright © 2012 , Intel Corporation.
+ */
+
 #include <linux/irqdesc.h>
 #include <linux/kernel_stat.h>
 #include <linux/pm_runtime.h>
@@ -94,6 +100,7 @@
 extern void mask_irq(struct irq_desc *desc);
 extern void unmask_irq(struct irq_desc *desc);
 extern void unmask_threaded_irq(struct irq_desc *desc);
+extern void irq_ack(struct irq_desc *desc);
 
 #ifdef CONFIG_SPARSE_IRQ
 static inline void irq_mark_irq(unsigned int irq) { }