Symbol: acpi_madt_gicr
sys/arch/arm64/stand/efiboot/efiacpi.c
311
struct acpi_madt_gicr madt_gicr;
sys/arch/arm64/stand/efiboot/efiacpi.c
533
efi_acpi_madt_gicr(struct acpi_madt_gicr *gicr)