Symbol: its_send_vmovi
drivers/irqchip/irq-gic-v3-its.c
1631
its_send_vmovi(its_dev, event);
drivers/irqchip/irq-gic-v3-its.c
1945
its_send_vmovi(its_dev, event);