Symbol: ACPI_MADT_GICC
sys/arch/arm64/stand/efiboot/efiacpi.c
243
#define ACPI_MADT_GICC 11
sys/dev/acpi/acpireg.h
357
#define ACPI_MADT_GICC 11