Symbol: efi_acpi
sys/arch/arm64/stand/efiboot/efiboot.c
638
fdt = efi_acpi();
sys/arch/arm64/stand/efiboot/efiboot.h
19
void *efi_acpi(void);