HelenOS sources

efi_system_table_t   42 boot/arch/arm64/include/arch/main.h     efi_system_table_t *efi_system_table_in, void *load_address);
efi_system_table_t   55 boot/arch/arm64/src/main.c static efi_system_table_t *efi_system_table;
efi_system_table_t  115 boot/arch/arm64/src/main.c     efi_system_table_t *efi_system_table_in, void *load_address)
efi_system_table_t  150 boot/arch/ia64/src/main.c 		    (efi_system_table_t *) bootpar->efi_system_table, sal_guid);
efi_system_table_t  198 boot/genarch/include/genarch/efi.h extern void *efi_vendor_table_find(efi_system_table_t *, efi_guid_t);
efi_system_table_t  199 boot/genarch/include/genarch/efi.h extern efi_status_t efi_get_memory_map(efi_system_table_t *, sysarg_t *,
efi_system_table_t   33 boot/genarch/src/efi.c void *efi_vendor_table_find(efi_system_table_t *st, efi_guid_t guid)
efi_system_table_t   45 boot/genarch/src/efi.c efi_status_t efi_get_memory_map(efi_system_table_t *st,