Searched refs:PML4_BASE (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/tools/elver/ | ||
| H A D | elver.c | 49 #define PML4_BASE(base) (((uint64_t)(base) >> 39) & PTABLE_MASK) macro 296 paging_map_table(&boot_pml4[PML4_BASE(0)], (uint64_t)(uint32_t)pdpt); |
Completed in 27 milliseconds