Searched refs:efi_get_table (Results 1 – 10 of 10) sorted by relevance
44 hdr = efi_get_table(&fdtdtb); in fdt_platform_load_dtb()
133 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()135 rsdp = efi_get_table(&acpi_guid); in elf64_exec()
38 efi_get_table(EFI_GUID *tbl) in efi_get_table() function
95 if (!efi_get_table(&efi_smbios3, &addr_efi)) { in smbios_identify() 98 } else if (!efi_get_table(&efi_smbios, &addr_efi)) { in smbios_identify()
196 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()198 rsdp = efi_get_table(&acpi_guid); in elf64_exec()
71 void *efi_get_table(EFI_GUID *tbl);
165 if (!efi_get_table(&efi_smbios, &addr_efi)) in ipmi_smbios_probe()
371 error = efi_get_table(&uuid, (void **)&esrt); in get_table_length()414 error = efi_get_table(&uuid, (void **)&prop); in get_table_length()
274 static inline int efi_get_table(struct uuid *uuid, void **ptr) in efi_get_table() function
1127 if ((rsdp = efi_get_table(&acpi20)) == NULL) in acpi_detect()1128 if ((rsdp = efi_get_table(&acpi)) == NULL) in acpi_detect()