stand/efi/acpica/acpi_detect.c

46

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

stand/efi/acpica/acpi_detect.c

47

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

stand/efi/fdt/efi_fdt.c

46

hdr = efi_get_table(&fdtdtb);

stand/efi/include/efilib.h

73

void *efi_get_table(EFI_GUID *tbl);

stand/kboot/kboot/arch/aarch64/exec.c

132

rsdp = efi_get_table(&acpi20_guid);

stand/kboot/kboot/arch/aarch64/exec.c

134

rsdp = efi_get_table(&acpi_guid);

stand/kboot/kboot/arch/amd64/elf64_freebsd.c

202

rsdp = efi_get_table(&acpi20_guid);

stand/kboot/kboot/arch/amd64/elf64_freebsd.c

204

rsdp = efi_get_table(&acpi_guid);

sys/dev/efidev/efirt.c

383

error = efi_get_table(&guid, (void **)&esrt);

sys/dev/efidev/efirt.c

426

error = efi_get_table(&guid, (void **)&prop);

sys/dev/efidev/efirt.c

457

error = efi_get_table(&guid, (void **)&tbl_addr);

sys/dev/ipmi/ipmi_smbios.c

164

if (!efi_get_table(&efi_smbios, &addr_efi))

sys/dev/smbios/smbios.c

95

if (!efi_get_table(&efi_smbios3, &addr_efi)) {

sys/dev/smbios/smbios.c

98

} else if (!efi_get_table(&efi_smbios, &addr_efi)) {