acpi_register_irq()

acpi_madt is marked as __initdata, so an attempt to use acpi_register_irq() after we discarded init sections would cause us to dereference a random location. Everywhere else uses has_8259 anyway.

Index: arch/ia64/kernel/acpi.c
=================================RCS file: /var/cvs/linux-2.5/arch/ia64/kernel/acpi.c,v retrieving revision 1.11

diff -u -p -r1.11 acpi.c
@@ -720,7 +720,7 @@ acpi_register_irq (u32 gsi, u32 polarity
 {
 	int vector = 0;
 
-	if (acpi_madt->flags.pcat_compat && (gsi < 16))
+	if (has_8259 && (gsi < 16))
 		return isa_irq_to_vector(gsi);
 
 	if (!iosapic_register_intr)

"It's not Hollywood.  War is real, war is primarily not about defeat or
victory, it is about death.  I've seen thousands and thousands of dead bodies.
Do you think I want to have an academic debate on this subject?" -- Robert Fisk