--- zzzz-none-000/linux-2.6.39.4/kernel/irq/internals.h	2011-08-03 19:43:28.000000000 +0000
+++ puma6-arm-6490-729/linux-2.6.39.4/kernel/irq/internals.h	2021-11-10 13:23:10.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>
 
 #ifdef CONFIG_SPARSE_IRQ
@@ -73,6 +79,7 @@
 extern void irq_disable(struct irq_desc *desc);
 extern void mask_irq(struct irq_desc *desc);
 extern void unmask_irq(struct irq_desc *desc);
+extern void irq_ack(struct irq_desc *desc);
 
 extern void init_kstat_irqs(struct irq_desc *desc, int node, int nr);