usr/src/boot/efi/include/efilib.h

102

void *efi_get_table(EFI_GUID *tbl);

usr/src/boot/efi/libefi/acpi.c

135

if ((rsdp = efi_get_table(&gEfiAcpi20TableGuid)) == NULL)

usr/src/boot/efi/libefi/acpi.c

136

rsdp = efi_get_table(&gEfiAcpiTableGuid);

usr/src/boot/efi/loader/arch/amd64/elf64_freebsd.c

104

rsdp = efi_get_table(&acpi20_guid);

usr/src/boot/efi/loader/arch/amd64/elf64_freebsd.c

106

rsdp = efi_get_table(&acpi_guid);

usr/src/boot/efi/loader/arch/arm64/exec.c

82

rsdp = efi_get_table(&acpi20_guid);

usr/src/boot/efi/loader/arch/arm64/exec.c

84

rsdp = efi_get_table(&acpi_guid);

usr/src/boot/efi/loader/arch/i386/efimd.c

74

bi->bi_hcdp = (uint64_t)efi_get_table(&hcdp_guid);

usr/src/boot/efi/loader/main.c

937

if ((ptr = efi_get_table(&gEfiSmbios3TableGuid)) == NULL)

usr/src/boot/efi/loader/main.c

938

ptr = efi_get_table(&gEfiSmbiosTableGuid);