Symbol: its_vpe_id_free
drivers/irqchip/irq-gic-v3-its.c
4575
its_vpe_id_free(vpe_id);
drivers/irqchip/irq-gic-v3-its.c
4580
its_vpe_id_free(vpe_id);
drivers/irqchip/irq-gic-v3-its.c
4598
its_vpe_id_free(vpe->vpe_id);