cur_target_mask   888 drivers/irqchip/irq-gic.c 	u32 val, cur_target_mask, active_mask;
cur_target_mask   898 drivers/irqchip/irq-gic.c 	cur_target_mask = 0x01010101 << cur_cpu_id;
cur_target_mask   913 drivers/irqchip/irq-gic.c 		active_mask = val & cur_target_mask;