Symbol: ACPI_GICV3_DIST_MEM_SIZE
drivers/irqchip/irq-gic-v3.c
2546
ACPI_GICV3_DIST_MEM_SIZE);
drivers/irqchip/irq-gic-v3.c
2551
gic_request_region(dist->base_address, ACPI_GICV3_DIST_MEM_SIZE, "GICD");