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

/barrelfish-2018-10-04/tools/elver/
H A Delver.c211 static inline void paging_map_table(union pdir_entry *entry, uint64_t base) function
296 paging_map_table(&boot_pml4[PML4_BASE(0)], (uint64_t)(uint32_t)pdpt);
297 paging_map_table(&pdpt[PDPT_BASE(0)], (uint64_t)(uint32_t)pdir);

Completed in 34 milliseconds