Searched refs:efi_get_table (Results 1 – 7 of 7) sorted by relevance
41 if ((rsdp = efi_get_table(&gEfiAcpi20TableGuid)) == NULL) in acpi_detect()42 rsdp = efi_get_table(&gEfiAcpiTableGuid); in acpi_detect()
946 if ((ptr = efi_get_table(&gEfiSmbios3TableGuid)) == NULL) in main()947 ptr = efi_get_table(&gEfiSmbiosTableGuid); in main()
82 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()84 rsdp = efi_get_table(&acpi_guid); in elf64_exec()
104 rsdp = efi_get_table(&acpi20_guid); in elf64_exec()106 rsdp = efi_get_table(&acpi_guid); in elf64_exec()
38 efi_get_table(EFI_GUID *tbl) in efi_get_table() function
74 bi->bi_hcdp = (uint64_t)efi_get_table(&hcdp_guid); in ldr_bootinfo()
100 void *efi_get_table(EFI_GUID *tbl);