platform_intr_list 50 arch/ia64/kernel/acpi.c int platform_intr_list[ACPI_MAX_PLATFORM_INTERRUPTS] = { platform_intr_list 66 arch/ia64/kernel/acpi.c vector = platform_intr_list[int_type]; platform_intr_list 186 arch/ia64/kernel/acpi.c platform_intr_list[plintsrc->type] = vector;