HomeSort by: relevance | last modified time | path
    Searched refs:efi_get_table (Results 1 - 8 of 8) sorted by relevancy

  /src/sys/arch/ia64/include/
efilib.h 36 void *efi_get_table(EFI_GUID *tbl);
efi.h 49 void *efi_get_table(struct uuid *);
  /src/sys/arch/ia64/acpi/
acpi_machdep.c 68 acpi_root = efi_get_table(&acpi20_table);
  /src/sys/arch/ia64/ia64/
efi.c 103 efi_get_table(struct uuid *uuid) function in typeref:typename:void *
sal.c 96 sal_systbl = efi_get_table(&sal_table);
  /src/sys/arch/ia64/stand/efi/libefi/
efi.c 66 efi_get_table(EFI_GUID *tbl) function in typeref:typename:void *
bootinfo.c 255 bi->bi_hcdp = (uint64_t)efi_get_table(&hcdp); /* DIG64 HCDP table addr. */
  /src/sys/arch/ia64/stand/ia64/efi/
main.c 80 saltab = efi_get_table(&sal);
330 saltab = efi_get_table(&sal);
510 tbl = efi_get_table(&hcdp);

Completed in 15 milliseconds