ACPI_GICV2_VCPU_MEM_SIZE 2007 drivers/irqchip/irq-gic-v3.c #define ACPI_GICV2_VCPU_MEM_SIZE	(SZ_8K)
ACPI_GICV2_VCPU_MEM_SIZE 1561 drivers/irqchip/irq-gic.c #define ACPI_GICV2_VCPU_MEM_SIZE	(SZ_8K)