Searched refs:efi_get_system_config_table (Results 1 – 4 of 4) sorted by relevance
40 efi_status_t efi_get_system_config_table(efi_guid_t table_guid, void **table);
106 efi_status_t efi_get_system_config_table(efi_guid_t table_guid, void **table) in efi_get_system_config_table() function328 } else if (efi_get_system_config_table(DEVICE_TREE_GUID, &fdt) != EFI_SUCCESS) { in efi_get_fdt()
256 status = efi_get_system_config_table(ACPI_TABLE_GUID, (void **)&rsdp); in setup_rsdp()
296 status = efi_get_system_config_table(ACPI_20_TABLE_GUID, (void **)&rsdp); in setup_rsdp()