Searched refs:efi_get_table (Results 1 – 10 of 10) sorted by relevance
46 if ((rsdp = efi_get_table(&acpi20)) == NULL) in acpi_detect()47 if ((rsdp = efi_get_table(&acpi)) == NULL) in acpi_detect()
46 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()
383 error = efi_get_table(&guid, (void **)&esrt); in get_table_length()426 error = efi_get_table(&guid, (void **)&prop); in get_table_length()457 error = efi_get_table(&guid, (void **)&tbl_addr); in get_table_length()
73 void *efi_get_table(EFI_GUID *tbl);
164 if (!efi_get_table(&efi_smbios, &addr_efi)) in ipmi_smbios_probe()
306 efi_get_table(efi_guid_t *guid, void **ptr) in efi_get_table() function