--- zzzz-none-000/linux-2.6.39.4/kernel/irq/chip.c	2011-08-03 19:43:28.000000000 +0000
+++ puma6-arm-6490-729/linux-2.6.39.4/kernel/irq/chip.c	2021-11-10 13:23:10.000000000 +0000
@@ -9,6 +9,12 @@
  *
  * Detailed information is available in Documentation/DocBook/genericirq
  */
+ 
+/* 
+ * Includes Intel Corporation's changes/modifications dated: 2012. 
+ * Changed/modified portions - Copyright © 2012 , Intel Corporation.   
+ */
+ 
 
 #include <linux/irq.h>
 #include <linux/msi.h>
@@ -204,6 +210,14 @@
 	}
 }
 
+void irq_ack(struct irq_desc *desc)
+{
+    if (desc->irq_data.chip->irq_ack)
+    {
+        desc->irq_data.chip->irq_ack(&desc->irq_data);
+    }
+}
+
 static inline void mask_ack_irq(struct irq_desc *desc)
 {
 	if (desc->irq_data.chip->irq_mask_ack)
@@ -408,6 +422,9 @@
 		goto out_eoi;
 	goto out_unlock;
 }
+#ifdef CONFIG_ARCH_GEN3
+EXPORT_SYMBOL_GPL(handle_fasteoi_irq);
+#endif
 
 /**
  *	handle_edge_irq - edge type IRQ handler
@@ -587,6 +604,9 @@
 	irq_set_chip(irq, chip);
 	__irq_set_handler(irq, handle, 0, name);
 }
+#ifdef CONFIG_ARCH_GEN3
+EXPORT_SYMBOL_GPL(irq_set_chip_and_handler_name);
+#endif
 
 void irq_modify_status(unsigned int irq, unsigned long clr, unsigned long set)
 {