gic_irq_domain_free 1400 drivers/irqchip/irq-gic-v3.c 	.free = gic_irq_domain_free,
gic_irq_domain_free  549 drivers/irqchip/irq-mips-gic.c 	.free = gic_irq_domain_free,