Symbol: acpi_dbg2_info
sys/arch/arm64/stand/efiboot/efiacpi.c
734
struct acpi_dbg2_info *info;
sys/arch/arm64/stand/efiboot/efiacpi.c
738
info = (struct acpi_dbg2_info *)((char *)hdr + dbg2->info_offset);