Symbol: GICR_VLPI_BASE_SIZE
sys/arm64/arm64/gic_v3.c
1438
(GICR_VLPI_BASE_SIZE + GICR_RESERVED_SIZE);
sys/arm64/arm64/gic_v3_acpi.c
154
count += GICR_VLPI_BASE_SIZE + GICR_RESERVED_SIZE;