Searched refs:efi_get_table (Results 1 – 10 of 10) sorted by relevance
44 hdr = efi_get_table(&fdtdtb); in fdt_platform_load_dtb()
132 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()134 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()
202 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()204 rsdp = efi_get_table(&acpi_guid); in elf64_exec()
71 void *efi_get_table(EFI_GUID *tbl);
164 if (!efi_get_table(&efi_smbios, &addr_efi)) in ipmi_smbios_probe()
382 error = efi_get_table(&guid, (void **)&esrt); in get_table_length()425 error = efi_get_table(&guid, (void **)&prop); in get_table_length()
286 static inline int efi_get_table(efi_guid_t *guid, void **ptr) in efi_get_table() function
1129 if ((rsdp = efi_get_table(&acpi20)) == NULL) in acpi_detect()1130 if ((rsdp = efi_get_table(&acpi)) == NULL) in acpi_detect()