Searched refs:efi_memory_desc_t (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/efi/
H A Defi_init.c47 efi_memory_desc_t *memory_map;
/seL4-refos-master/tools/elfloader/src/binaries/efi/
H A Defi_init.c47 efi_memory_desc_t *memory_map;
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/efi/
H A Defi.h124 } efi_memory_desc_t; typedef in typeref:struct:__anon191
/seL4-refos-master/tools/elfloader/include/binaries/efi/
H A Defi.h124 } efi_memory_desc_t; typedef in typeref:struct:__anon207

Completed in 26 milliseconds