[PATCH] ia64: ACPI IRQ cleanup (arch part)

Here's the ia64 part of the ACPI IRQ cleanup I proposed here:

http://www.gelato.unsw.edu.au/linux-ia64/0403/8979.html

After the arch bits are in, I'll post the corresponding ACPI changes.
I removed the "Found IRQ" printk now because when the ACPI
change goes in, dev->irq won't be initialized until *after*
acpi_pci_irq_enable().

arch/ia64/kernel/acpi.c

@@ -528,7 +528,7 @@ acpi_parse_fadt (unsigned long phys_addr, unsigned long size)
 	if (fadt->iapc_boot_arch & BAF_LEGACY_DEVICES)
 		acpi_legacy_devices = 1;
 
-	acpi_register_irq(fadt->sci_int, ACPI_ACTIVE_LOW, ACPI_LEVEL_SENSITIVE);
+	acpi_register_gsi(fadt->sci_int, ACPI_ACTIVE_LOW, ACPI_LEVEL_SENSITIVE);
 	return 0;
 }
 
@@ -664,4 +664,11 @@ acpi_register_irq (u32 gsi, u32 polarity, u32 trigger)
 }
 EXPORT_SYMBOL(acpi_register_irq);
 
+unsigned int
+acpi_register_gsi (u32 gsi, int polarity, int trigger)
+{
+	return acpi_register_irq(gsi, polarity, trigger);
+}
+EXPORT_SYMBOL(acpi_register_gsi);
+
 #endif /* CONFIG_ACPI_BOOT */

arch/ia64/pci/pci.c

@@ -441,7 +441,6 @@ pcibios_enable_device (struct pci_dev *dev, int mask)
 	if (ret < 0)
 		return ret;
 
-	printk(KERN_INFO "PCI: Found IRQ %d for device %s\n", dev->irq, pci_name(dev));
 	return acpi_pci_irq_enable(dev);
 }