ACPI_GICV2_VCTRL_MEM_SIZE 2006 drivers/irqchip/irq-gic-v3.c #define ACPI_GICV2_VCTRL_MEM_SIZE	(SZ_4K)
ACPI_GICV2_VCTRL_MEM_SIZE 1560 drivers/irqchip/irq-gic.c #define ACPI_GICV2_VCTRL_MEM_SIZE	(SZ_4K)