On Sat, Sep 15, 2012 at 09:32:10AM +0200, Geert Uytterhoeven wrote:

On Fri, Sep 14, 2012 at 10:44 PM, Thierry Reding
[off-list ref] wrote:

quoted

--- a/drivers/pci/setup-irq.c
+++ b/drivers/pci/setup-irq.c

@@ -17,6 +17,14 @@
 #include <linux/ioport.h>
 #include <linux/cache.h>

+void __devinit __weak pcibios_update_irq(struct pci_dev *dev, int irq)
+{
+#ifdef CONFIG_PCI_DEBUG
+       printk(KERN_DEBUG "PCI: Assigning IRQ %02d to %s\n", irq,
+              pci_name(dev));

pr_debug()?
Or even better, dev_dbg()?

The problem with pr_debug() and dev_dbg() is that they will be compiled
out if DEBUG is not defined. Perhaps we should pass -DDEBUG if PCI_DEBUG
is configured and make this dev_dbg()?

Thierry