Symbol: efi_acpi_root
sys/stand/efiboot/efiacpi.h
43
void *efi_acpi_root(void);
sys/stand/efiboot/efifdt.c
688
void *acpi_root = efi_acpi_root();