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