Searched refs:dmi (Results 1 – 1 of 1) sorted by relevance
19 uint64_t dmi = 0xffffffff; in efi_smbios_register() local24 if (efi_allocate_pages(1, memtype, pages, &dmi) != EFI_SUCCESS) in efi_smbios_register()28 write_smbios_table(dmi); in efi_smbios_register()31 efi_install_configuration_table(&smbios_guid, (void*)(uintptr_t)dmi); in efi_smbios_register()