Symbol: its_vpe_irq_domain_free
drivers/irqchip/irq-gic-v3-its.c
4678
its_vpe_irq_domain_free(domain, virq, i);
drivers/irqchip/irq-gic-v3-its.c
4744
.free = its_vpe_irq_domain_free,