Symbol: acpi_madt_gicd
sys/arch/arm64/stand/efiboot/efiacpi.c
309
struct acpi_madt_gicd madt_gicd;
sys/arch/arm64/stand/efiboot/efiacpi.c
494
efi_acpi_madt_gicd(struct acpi_madt_gicd *gicd)