Searched defs:X86_64_BASE_PAGE_SIZE (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/include/target/x86_64/barrelfish_kpi/ | ||
H A D | paging_target.h | 25 #define X86_64_BASE_PAGE_SIZE (1<<X86_64_BASE_PAGE_BITS) macro |
Completed in 81 milliseconds