Symbol: its_cmd_ptr_to_offset
drivers/irqchip/irq-gic-v3-its.c
1147
u64 wr = its_cmd_ptr_to_offset(its, its->cmd_write);
drivers/irqchip/irq-gic-v3-its.c
1174
to_idx = its_cmd_ptr_to_offset(its, to);