target_col       1146 drivers/irqchip/irq-gic-v3-its.c 	struct its_collection *target_col;
target_col       1169 drivers/irqchip/irq-gic-v3-its.c 		target_col = &its_dev->its->collections[cpu];
target_col       1170 drivers/irqchip/irq-gic-v3-its.c 		its_send_movi(its_dev, target_col, id);
target_col       2768 drivers/irqchip/irq-gic-v3-its.c 	struct its_collection *target_col;
target_col       2785 drivers/irqchip/irq-gic-v3-its.c 	target_col = &vpe_proxy.dev->its->collections[to];
target_col       2786 drivers/irqchip/irq-gic-v3-its.c 	its_send_movi(vpe_proxy.dev, target_col, vpe->vpe_proxy_event);