/*
|
* EFI application tables support
|
*
|
* Copyright (c) 2016 Alexander Graf
|
*
|
* SPDX-License-Identifier: GPL-2.0+
|
*/
|
|
#include <common.h>
|
#include <efi_loader.h>
|
#include <inttypes.h>
|
#include <smbios.h>
|
|
static const efi_guid_t smbios_guid = SMBIOS_TABLE_GUID;
|
|
void 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;
|
|
if (efi_allocate_pages(1, memtype, pages, &dmi) != EFI_SUCCESS)
|
return;
|
|
/* Generate SMBIOS tables */
|
write_smbios_table(dmi);
|
|
/* And expose them to our EFI payload */
|
efi_install_configuration_table(&smbios_guid, (void*)(uintptr_t)dmi);
|
}
|
