its_cmd_ptr_to_offset  732 drivers/irqchip/irq-gic-v3-its.c 	u64 wr = its_cmd_ptr_to_offset(its, its->cmd_write);
its_cmd_ptr_to_offset  759 drivers/irqchip/irq-gic-v3-its.c 	to_idx = its_cmd_ptr_to_offset(its, to);