Symbol: ACPI_MADT_GICC
sys/arch/arm64/dev/acpicpu.c
126
if (gicc->apic_type == ACPI_MADT_GICC) {
sys/arch/arm64/stand/efiboot/efiacpi.c
591
case ACPI_MADT_GICC: