its_send_movi 1170 drivers/irqchip/irq-gic-v3-its.c its_send_movi(its_dev, target_col, id); its_send_movi 2786 drivers/irqchip/irq-gic-v3-its.c its_send_movi(vpe_proxy.dev, target_col, vpe->vpe_proxy_event);