/*
 *  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);
}