Symbol: gic_cpu_base
drivers/irqchip/irq-gic.c
1540
phys_addr_t gic_cpu_base;
drivers/irqchip/irq-gic.c
1552
gic_cpu_base = processor->base_address;
drivers/irqchip/irq-gic.c
1553
if (cpu_base_assigned && gic_cpu_base != acpi_data.cpu_phys_base)
drivers/irqchip/irq-gic.c
1556
acpi_data.cpu_phys_base = gic_cpu_base;
drivers/irqchip/irq-gic.c
225
writel_relaxed(hwirq, gic_cpu_base(d) + GIC_CPU_EOI);
drivers/irqchip/irq-gic.c
239
writel_relaxed(hwirq, gic_cpu_base(d) + GIC_CPU_DEACTIVATE);