Symbol: its_send_vinvall
drivers/irqchip/irq-gic-v3-its.c
1895
its_send_vinvall(its, vpe);
drivers/irqchip/irq-gic-v3-its.c
4074
its_send_vinvall(its, vpe);
drivers/irqchip/irq-gic-v3-its.c
4706
its_send_vinvall(its, vpe);