Symbol: acpi_isa_irq_available