HelenOS sources

efi_memory_type_t  101 boot/arch/ia64/src/main.c 			switch ((efi_memory_type_t) md->type) {
efi_memory_type_t  134 boot/genarch/include/genarch/efi.h 	efi_status_t (*allocate_pages)(efi_allocate_type_t, efi_memory_type_t,
efi_memory_type_t  139 boot/genarch/include/genarch/efi.h 	efi_status_t (*allocate_pool)(efi_memory_type_t, sysarg_t, void **);