commented early_printk patch because of rejects.
[linux-flexiantxendom0-3.2.10.git] / drivers / acpi / pci_irq.c
index f208a88..303a238 100644 (file)
@@ -24,8 +24,6 @@
  * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  */
 
-#include <linux/config.h>
-
 #include <linux/kernel.h>
 #include <linux/module.h>
 #include <linux/init.h>
@@ -38,9 +36,6 @@
 #ifdef CONFIG_X86_IO_APIC
 #include <asm/mpspec.h>
 #endif
-#ifdef CONFIG_IOSAPIC
-# include <asm/iosapic.h>
-#endif
 #include <acpi/acpi_bus.h>
 #include <acpi/acpi_drivers.h>
 
@@ -296,7 +291,7 @@ acpi_pci_irq_derive (
        }
 
        if (!irq) {
-               ACPI_DEBUG_PRINT((ACPI_DB_WARN, "Unable to derive IRQ for device %s\n", dev->slot_name));
+               ACPI_DEBUG_PRINT((ACPI_DB_WARN, "Unable to derive IRQ for device %s\n", pci_name(dev)));
                return_VALUE(0);
        }
 
@@ -321,7 +316,7 @@ acpi_pci_irq_enable (
        
        pci_read_config_byte(dev, PCI_INTERRUPT_PIN, &pin);
        if (!pin) {
-               ACPI_DEBUG_PRINT((ACPI_DB_INFO, "No interrupt pin configured for device %s\n", dev->slot_name));
+               ACPI_DEBUG_PRINT((ACPI_DB_INFO, "No interrupt pin configured for device %s\n", pci_name(dev)));
                return_VALUE(0);
        }
        pin--;
@@ -349,7 +344,7 @@ acpi_pci_irq_enable (
         * driver reported one, then use it. Exit in any case.
         */
        if (!irq) {
-               printk(KERN_WARNING PREFIX "No IRQ known for interrupt pin %c of device %s", ('A' + pin), dev->slot_name);
+               printk(KERN_WARNING PREFIX "No IRQ known for interrupt pin %c of device %s", ('A' + pin), pci_name(dev));
                /* Interrupt Line values above 0xF are forbidden */
                if (dev->irq && dev->irq >= 0xF) {
                        printk(" - using IRQ %d\n", dev->irq);
@@ -363,7 +358,7 @@ acpi_pci_irq_enable (
 
        dev->irq = irq;
 
-       ACPI_DEBUG_PRINT((ACPI_DB_INFO, "Device %s using IRQ %d\n", dev->slot_name, dev->irq));
+       ACPI_DEBUG_PRINT((ACPI_DB_INFO, "Device %s using IRQ %d\n", pci_name(dev), dev->irq));
 
        /* 
         * Make sure all (legacy) PCI IRQs are set as level-triggered.