Searched defs:seL4_X64_HugePageObject (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ | ||
| H A D | objecttype.h | 17 seL4_X64_HugePageObject, enumerator in enum:_mode_object 26 #define seL4_X64_HugePageObject 0xfffffffe macro |
Completed in 35 milliseconds