gic_irq_domain_free 1361 drivers/irqchip/irq-gic-v3.c static void gic_irq_domain_free(struct irq_domain *domain, unsigned int virq,
gic_irq_domain_free  541 drivers/irqchip/irq-mips-gic.c void gic_irq_domain_free(struct irq_domain *d, unsigned int virq,