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);