2 * EFI application tables support
4 * Copyright (c) 2016 Alexander Graf
6 * SPDX-License-Identifier: GPL-2.0+
10 #include <efi_loader.h>
14 static const efi_guid_t smbios_guid = SMBIOS_TABLE_GUID;
17 * Install the SMBIOS table as a configuration table.
21 efi_status_t efi_smbios_register(void)
23 /* Map within the low 32 bits, to allow for 32bit SMBIOS tables */
27 /* Reserve 4kiB page for SMBIOS */
28 ret = efi_allocate_pages(EFI_ALLOCATE_MAX_ADDRESS,
29 EFI_RUNTIME_SERVICES_DATA, 1, &dmi);
30 if (ret != EFI_SUCCESS)
33 /* Generate SMBIOS tables */
34 write_smbios_table(dmi);
36 /* And expose them to our EFI payload */
37 return efi_install_configuration_table(&smbios_guid,
38 (void *)(uintptr_t)dmi);