Did you mean (for linux):gicv2m_irq_domain_free gicp_irq_domain_free gic_irq_domain_free
Your search defs:gicv5_irq_domain_free did not match any files. Suggestions: