|
@@ -13,20 +13,27 @@
|
|
|
|
|
|
static const efi_guid_t smbios_guid = SMBIOS_TABLE_GUID;
|
|
|
|
|
|
-void efi_smbios_register(void)
|
|
|
+/*
|
|
|
+ * Install the SMBIOS table as a configuration table.
|
|
|
+ *
|
|
|
+ * @return status code
|
|
|
+ */
|
|
|
+efi_status_t efi_smbios_register(void)
|
|
|
{
|
|
|
/* Map within the low 32 bits, to allow for 32bit SMBIOS tables */
|
|
|
- uint64_t dmi = 0xffffffff;
|
|
|
- /* Reserve 4kb for SMBIOS */
|
|
|
- uint64_t pages = 1;
|
|
|
- int memtype = EFI_RUNTIME_SERVICES_DATA;
|
|
|
+ u64 dmi = U32_MAX;
|
|
|
+ efi_status_t ret;
|
|
|
|
|
|
- if (efi_allocate_pages(1, memtype, pages, &dmi) != EFI_SUCCESS)
|
|
|
- return;
|
|
|
+ /* Reserve 4kiB page for SMBIOS */
|
|
|
+ ret = efi_allocate_pages(EFI_ALLOCATE_MAX_ADDRESS,
|
|
|
+ EFI_RUNTIME_SERVICES_DATA, 1, &dmi);
|
|
|
+ if (ret != EFI_SUCCESS)
|
|
|
+ return ret;
|
|
|
|
|
|
/* Generate SMBIOS tables */
|
|
|
write_smbios_table(dmi);
|
|
|
|
|
|
/* And expose them to our EFI payload */
|
|
|
- efi_install_configuration_table(&smbios_guid, (void*)(uintptr_t)dmi);
|
|
|
+ return efi_install_configuration_table(&smbios_guid,
|
|
|
+ (void *)(uintptr_t)dmi);
|
|
|
}
|