Searched refs:PDPT_BASE (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/tools/elver/ | ||
H A D | elver.c | 50 #define PDPT_BASE(base) (((uint64_t)(base) >> 30) & PTABLE_MASK) macro 297 paging_map_table(&pdpt[PDPT_BASE(0)], (uint64_t)(uint32_t)pdir); |
Completed in 31 milliseconds