On Fri, Sep 14, 2012 at 10:44 PM, Thierry Reding <thierry.reding@xxxxxxxxxxxxxxxxx> wrote: > --- 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()? > +#endif > + pci_write_config_byte(dev, PCI_INTERRUPT_LINE, irq); > +} Gr{oetje,eeting}s, Geert -- Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@xxxxxxxxxxxxxx In personal conversations with technical people, I call myself a hacker. But when I'm talking to journalists I just say "programmer" or something like that. -- Linus Torvalds