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()
114 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()116 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
74 bi->bi_hcdp = (uintptr_t)efi_get_table(&hcdp_guid); in ldr_bootinfo()
71 void *efi_get_table(EFI_GUID *tbl);
184 int efi_get_table(struct uuid *uuid, void **ptr);
61 error = efi_get_table(&egtioc->uuid, &egtioc->ptr); in efidev_ioctl()
284 efi_get_table(struct uuid *uuid, void **ptr) in efi_get_table() function