Symbol: acpi_madt_gicc
sys/arch/arm64/dev/acpicpu.c
124
struct acpi_madt_gicc *gicc = (struct acpi_madt_gicc *)addr;
sys/arch/arm64/stand/efiboot/efiacpi.c
308
struct acpi_madt_gicc madt_gicc;
sys/arch/arm64/stand/efiboot/efiacpi.c
436
efi_acpi_madt_gicc(struct acpi_madt_gicc *gicc)