Symbol: GICD_SIZE
sys/arm64/arm64/gic_v3_acpi.c
215
madt_data.dist->BaseAddress, GICD_SIZE);
sys/arm64/vmm/io/vgic_v3.c
325
VGIC_REGISTER_RANGE_RAZ_WI(GICD_PIDR2 + 4, GICD_SIZE, 4, VGIC_32_BIT),
sys/arm64/vmm/io/vgic_v3.c
365
VGIC_REGISTER_RANGE_RAZ_WI(GICD_PIDR2 + 4, GICD_SIZE, 4,