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