cur_cpu_id        885 drivers/irqchip/irq-gic.c 	unsigned int cur_cpu_id, gic_irqs, gic_nr = 0;
cur_cpu_id        897 drivers/irqchip/irq-gic.c 	cur_cpu_id = __ffs(gic_cpu_map[cpu]);
cur_cpu_id        898 drivers/irqchip/irq-gic.c 	cur_target_mask = 0x01010101 << cur_cpu_id;
cur_cpu_id        899 drivers/irqchip/irq-gic.c 	ror_val = (cur_cpu_id - new_cpu_id) & 31;