Searched refs:PDPT_BASE (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/tools/elver/
H A Delver.c50 #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