Symbol: acpi_cascade_irqdomain_init