Searched defs:pdpte_ptr (Results 1 – 1 of 1) sorted by relevance
117 uint64_t *pdpte_ptr = (pdpt_ptr + pdpte_id); in mm_map_proc_page_table() local242 uint64_t *pdpte_ptr = (pdpt_ptr + pdpte_id); in mm_unmap_proc_table() local