efi_vendor_table_find 149 boot/arch/ia64/src/main.c sal_st = efi_vendor_table_find( efi_vendor_table_find 198 boot/genarch/include/genarch/efi.h extern void *efi_vendor_table_find(efi_system_table_t *, efi_guid_t);