diff options
| author | Heinrich Schuchardt | 2024-01-26 08:54:30 +0100 |
|---|---|---|
| committer | Heinrich Schuchardt | 2024-01-29 11:31:06 +0100 |
| commit | fa0772180edd404f8ac06fea5bc4f601db1731d6 (patch) | |
| tree | d61d6e108c7d043f93b6b755af6670058d1b0d40 | |
| parent | 3a99d05a39ac779861dc8300d078229c0217543b (diff) | |
efi_loader: export efi_get_configuration_table
In multiple places we need a function to find an EFI configuration table.
Rename get_config_table() to efi_get_configuration_table() and export it.
Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Reviewed-by: Ilias Apalodimas <ilias.apalodimas@linaro.org>
| -rw-r--r-- | include/efi_loader.h | 2 | ||||
| -rw-r--r-- | lib/efi_loader/efi_helper.c | 6 |
2 files changed, 5 insertions, 3 deletions
diff --git a/include/efi_loader.h b/include/efi_loader.h index 5c5af4f7fd1..7daca0afba2 100644 --- a/include/efi_loader.h +++ b/include/efi_loader.h @@ -546,6 +546,8 @@ void efi_setup_console_size(void); /* Set up load options from environment variable */ efi_status_t efi_env_set_load_options(efi_handle_t handle, const char *env_var, u16 **load_options); +/* Get EFI configuration table */ +void *efi_get_configuration_table(const efi_guid_t *guid); /* Install device tree */ efi_status_t efi_install_fdt(void *fdt); /* Execute loaded UEFI image */ diff --git a/lib/efi_loader/efi_helper.c b/lib/efi_loader/efi_helper.c index 11066eb505d..5dd9cc876e4 100644 --- a/lib/efi_loader/efi_helper.c +++ b/lib/efi_loader/efi_helper.c @@ -380,12 +380,12 @@ done: } /** - * get_config_table() - get configuration table + * efi_get_configuration_table() - get configuration table * * @guid: GUID of the configuration table * Return: pointer to configuration table or NULL */ -static void *get_config_table(const efi_guid_t *guid) +void *efi_get_configuration_table(const efi_guid_t *guid) { size_t i; @@ -430,7 +430,7 @@ efi_status_t efi_install_fdt(void *fdt) uintptr_t fdt_addr; /* Look for device tree that is already installed */ - if (get_config_table(&efi_guid_fdt)) + if (efi_get_configuration_table(&efi_guid_fdt)) return EFI_SUCCESS; /* Check if there is a hardware device tree */ fdt_opt = env_get("fdt_addr"); |