--- zzzz-none-000/linux-4.9.279/kernel/irq/internals.h	2021-08-08 06:38:54.000000000 +0000
+++ puma7-arm-6591-750/linux-4.9.279/kernel/irq/internals.h	2023-02-08 10:58:16.000000000 +0000
@@ -5,6 +5,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>
@@ -75,6 +81,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) { }