Searched defs:pml4e (Results 1 – 1 of 1) sorted by relevance
189 uint64_t *pml4e, *pdpe, *pde; in __virt_pg_map() local281 uint64_t *pml4e, *pdpe, *pde; in __vm_get_page_table_entry() local326 uint64_t *pml4e, *pml4e_start; in virt_arch_dump() local