Symbol: efi_acpi_get_model
sys/stand/efiboot/efiacpi.c
157
command_printtab("SMBIOS", "%s\n", efi_acpi_get_model());
sys/stand/efiboot/efiacpi.h
42
const char *efi_acpi_get_model(void);
sys/stand/efiboot/efifdt.c
704
const char *model = efi_acpi_get_model();