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;