Searched refs:efi_get_table (Results 1 – 9 of 9) sorted by relevance
83 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()85 rsdp = efi_get_table(&acpi_guid); in elf64_exec()
48 hdr = efi_get_table(&fdtdtb); in fdt_platform_load_dtb()
41 efi_get_table(EFI_GUID *tbl) in efi_get_table() function
124 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()126 rsdp = efi_get_table(&acpi_guid); in elf64_exec()
72 void *efi_get_table(EFI_GUID *tbl);
185 int efi_get_table(struct uuid *uuid, void **ptr);
167 if (!efi_get_table(&efi_smbios, &addr_efi)) in ipmi_smbios_probe()
97 if (!efi_get_table(&efi_smbios, &addr_efi)) in smbios_identify()
313 efi_get_table(struct uuid *uuid, void **ptr) in efi_get_table() function