Symbol: GICD_SIZE
sys/arch/arm/acpi/gic_acpi.c
55
#define GICD_SIZE 0x1000
sys/arch/arm/acpi/gicv3_acpi.c
57
#define GICD_SIZE 0x10000