sync_col          837 drivers/irqchip/irq-gic-v3-its.c 			       struct its_collection *sync_col)
sync_col          840 drivers/irqchip/irq-gic-v3-its.c 	its_encode_target(sync_cmd, sync_col->target_address);