ACPI_GICV2_VCPU_MEM_SIZE 2033 drivers/irqchip/irq-gic-v3.c 		vcpu->end = vcpu->start + ACPI_GICV2_VCPU_MEM_SIZE - 1;
ACPI_GICV2_VCPU_MEM_SIZE 1583 drivers/irqchip/irq-gic.c 	vcpu_res->end = vcpu_res->start + ACPI_GICV2_VCPU_MEM_SIZE - 1;