Searched refs:efi_memory_type (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/kernel/include/arch/armv8/ | ||
| H A D | efi.h | 50 } efi_memory_type; typedef in typeref:enum:__anon416 |
| /barrelfish-2018-10-04/tools/fastmodels/ | ||
| H A D | efi.h | 48 } efi_memory_type; typedef in typeref:enum:__anon1425 |
Completed in 68 milliseconds