Symbol: its_send_movi
drivers/irqchip/irq-gic-v3-its.c
1793
its_send_movi(its_dev, target_col, id);
drivers/irqchip/irq-gic-v3-its.c
3889
its_send_movi(vpe_proxy.dev, target_col, vpe->vpe_proxy_event);