Searched defs:efi_memory_descriptor (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/kernel/include/arch/armv8/ | ||
| H A D | efi.h | 59 } efi_memory_descriptor; typedef in typeref:struct:__anon417 |
| /barrelfish-master/tools/fastmodels/ | ||
| H A D | efi.h | 57 } efi_memory_descriptor; typedef in typeref:struct:__anon1426 |
Completed in 79 milliseconds