Symbol: efi_get_table
stand/boot/efi/include/efilib.h
67
void *efi_get_table(EFI_GUID *tbl);
stand/boot/efi/loader/arch/x86_64/elf64_freebsd.c
101
rsdp = efi_get_table(&acpi_guid);
stand/boot/efi/loader/arch/x86_64/elf64_freebsd.c
99
rsdp = efi_get_table(&acpi20_guid);
stand/boot/efi/loader/main.c
419
if (efi_get_table(&acpi20) != NULL ||
stand/boot/efi/loader/main.c
420
efi_get_table(&acpi) != NULL) {
sys/dev/misc/efirt/efidev.c
82
error = efi_get_table(&egtioc->uuid, &egtioc->ptr);
sys/platform/pc64/include/efi.h
46
int efi_get_table(struct uuid *uuid, void **ptr);