Symbol: ACPI_IRQ_MODEL_IOAPIC