Symbol: ACPI_GICV2_VCPU_MEM_SIZE
drivers/irqchip/irq-gic-v3.c
2521
vcpu->end = vcpu->start + ACPI_GICV2_VCPU_MEM_SIZE - 1;
drivers/irqchip/irq-gic.c
1616
vcpu_res->end = vcpu_res->start + ACPI_GICV2_VCPU_MEM_SIZE - 1;