ACPI_IRQ_MODEL_PLATFORM 528 arch/ia64/kernel/acpi.c if (acpi_irq_model == ACPI_IRQ_MODEL_PLATFORM) ACPI_IRQ_MODEL_PLATFORM 546 arch/ia64/kernel/acpi.c if (acpi_irq_model == ACPI_IRQ_MODEL_PLATFORM) ACPI_IRQ_MODEL_PLATFORM 250 arch/x86/xen/enlighten_hvm.c acpi_irq_model = ACPI_IRQ_MODEL_PLATFORM; ACPI_IRQ_MODEL_PLATFORM 989 drivers/acpi/bus.c case ACPI_IRQ_MODEL_PLATFORM: