Searched defs:pml4 (Results 1 – 1 of 1) sorted by relevance
100 caddr_t pml4, stack, new_av; in run_loadfile() local326 uint64_t *pml4, *pml3, *pml2, *pml1; in make_kernel_page_tables() local