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
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);
166 if (!efi_get_table(&efi_smbios, &addr_efi)) in ipmi_smbios_probe()
93 if (!efi_get_table(&efi_smbios, &addr_efi)) in smbios_identify()
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
922 if ((rsdp = efi_get_table(&acpi20)) == NULL) in acpi_detect()923 if ((rsdp = efi_get_table(&acpi)) == NULL) in acpi_detect()