HelenOS sources

efi_guid_t        146 boot/arch/ia64/src/main.c 		efi_guid_t sal_guid = SAL_SYSTEM_TABLE_GUID;
efi_guid_t        112 boot/genarch/include/genarch/efi.h 	efi_guid_t guid;
efi_guid_t        198 boot/genarch/include/genarch/efi.h extern void *efi_vendor_table_find(efi_system_table_t *, efi_guid_t);
efi_guid_t         33 boot/genarch/src/efi.c void *efi_vendor_table_find(efi_system_table_t *st, efi_guid_t guid)