Searched refs:EFI_MEMORY_WT (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/tools/seL4/elfloader-tool/include/binaries/efi/ | ||
| H A D | efi.h | 103 #define EFI_MEMORY_WT ((uint64_t)0x4ULL) /* write-through */ macro |
Completed in 85 milliseconds