Searched refs: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() local120 if (*pdpte_ptr == 0) in mm_map_proc_page_table()124 … set_pdpt(pdpte_ptr, mk_pdpt(virt_2_phys(virt_addr), (user ? PAGE_USER_DIR : PAGE_KERNEL_DIR))); in mm_map_proc_page_table()128 uint64_t *pd_ptr = (uint64_t *)phys_2_virt(*pdpte_ptr & (~0xfffUL)); in mm_map_proc_page_table()242 uint64_t *pdpte_ptr = (pdpt_ptr + pdpte_id); in mm_unmap_proc_table() local246 if (*pdpte_ptr == 0) in mm_unmap_proc_table()252 uint64_t *pd_ptr = (uint64_t *)phys_2_virt(*pdpte_ptr & (~0xfffUL)); in mm_unmap_proc_table()295 *pdpte_ptr = 0; in mm_unmap_proc_table()