cpu_base_assigned 1508 drivers/irqchip/irq-gic.c 	static int cpu_base_assigned;
cpu_base_assigned 1520 drivers/irqchip/irq-gic.c 	if (cpu_base_assigned && gic_cpu_base != acpi_data.cpu_phys_base)
cpu_base_assigned 1530 drivers/irqchip/irq-gic.c 	cpu_base_assigned = 1;