HelenOS sources

efi_v1_memdesc_t  147 boot/arch/arm64/src/main.c 	    (efi_v1_memdesc_t **) &memmap, &memmap_key, &memmap_descriptor_size,
efi_v1_memdesc_t  158 boot/arch/arm64/src/main.c 		efi_v1_memdesc_t *desc = (void *) memmap +
efi_v1_memdesc_t  239 boot/arch/arm64/src/main.c 	    (efi_v1_memdesc_t **) &memmap, &memmap_key, &memmap_descriptor_size,
efi_v1_memdesc_t  254 boot/arch/arm64/src/main.c 		efi_v1_memdesc_t *desc = (void *) memmap +
efi_v1_memdesc_t   95 boot/arch/ia64/src/main.c 			efi_v1_memdesc_t *md = (efi_v1_memdesc_t *) cur;
efi_v1_memdesc_t  137 boot/genarch/include/genarch/efi.h 	efi_status_t (*get_memory_map)(sysarg_t *, efi_v1_memdesc_t *,
efi_v1_memdesc_t  200 boot/genarch/include/genarch/efi.h     efi_v1_memdesc_t **, sysarg_t *, sysarg_t *, uint32_t *);
efi_v1_memdesc_t   46 boot/genarch/src/efi.c     sysarg_t *memory_map_size, efi_v1_memdesc_t **memory_map, sysarg_t *map_key,