Searched refs:efi_barrelfish_memory_type (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/kernel/include/arch/armv8/ | ||
| H A D | efi.h | 19 } efi_barrelfish_memory_type; typedef in typeref:enum:__anon415 |
| /barrelfish-2018-10-04/tools/fastmodels/ | ||
| H A D | efi.h | 17 } efi_barrelfish_memory_type; typedef in typeref:enum:__anon1424 |
Completed in 92 milliseconds