Symbol: efi_acpi_smbios
sys/stand/efiboot/efiacpi.h
44
void *efi_acpi_smbios(void);
sys/stand/efiboot/efifdt.c
689
void *smbios_table = efi_acpi_smbios();