Searched refs:EFI_MEMORY_UCE (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/tools/seL4/elfloader-tool/include/binaries/efi/ | ||
H A D | efi.h | 105 #define EFI_MEMORY_UCE ((uint64_t)0x10ULL) /* uncached, exported */ macro |
Completed in 27 milliseconds