ror_val           887 drivers/irqchip/irq-gic.c 	int i, ror_val, cpu = smp_processor_id();
ror_val           899 drivers/irqchip/irq-gic.c 	ror_val = (cur_cpu_id - new_cpu_id) & 31;
ror_val           916 drivers/irqchip/irq-gic.c 			val |= ror32(active_mask, ror_val);