its_vpe_irq_domain_free 3124 drivers/irqchip/irq-gic-v3-its.c 			its_vpe_irq_domain_free(domain, virq, i - 1);
its_vpe_irq_domain_free 3182 drivers/irqchip/irq-gic-v3-its.c 	.free			= its_vpe_irq_domain_free,