--- zzzz-none-000/linux-2.6.13.1/kernel/irq/manage.c	2005-09-10 02:42:58.000000000 +0000
+++ ohio-7170-487/linux-2.6.13.1/kernel/irq/manage.c	2006-06-08 10:03:10.000000000 +0000
@@ -13,6 +13,7 @@
 #include <linux/interrupt.h>
 
 #include "internals.h"
+#include <linux/kallsyms.h>
 
 #ifdef CONFIG_SMP
 
@@ -158,6 +159,10 @@
 	unsigned long flags;
 	int shared = 0;
 
+    printk("[setup_irq]: irq %u irqaction->handler 0x%p (", irq, new->handler);
+	__print_symbol("%s ", (unsigned long)new->handler);
+    printk(")\n");
+
 	if (desc->handler == &no_irq_type)
 		return -ENOSYS;
 	/*
@@ -278,7 +283,7 @@
 			kfree(action);
 			return;
 		}
-		printk(KERN_ERR "Trying to free free IRQ%d\n",irq);
+		printk(KERN_ERR "Trying to free IRQ%d\n",irq);
 		spin_unlock_irqrestore(&desc->lock,flags);
 		return;
 	}