efi_get_table
acpi_root = efi_get_table(&acpi20_table);
sal_systbl = efi_get_table(&sal_table);
void *efi_get_table(struct uuid *);
void *efi_get_table(EFI_GUID *tbl);
bi->bi_hcdp = (uint64_t)efi_get_table(&hcdp); /* DIG64 HCDP table addr. */
saltab = efi_get_table(&sal);
tbl = efi_get_table(&hcdp);
saltab = efi_get_table(&sal);