Searched refs:pdpt_ptr (Results 1 – 1 of 1) sorted by relevance
111 uint64_t *pdpt_ptr = (uint64_t *)phys_2_virt(*pml4e_ptr & (~0xfffUL)); in mm_map_proc_page_table() local117 uint64_t *pdpte_ptr = (pdpt_ptr + pdpte_id); in mm_map_proc_page_table()235 uint64_t *pdpt_ptr = (uint64_t *)phys_2_virt(*pml4e_ptr & (~0xfffUL)); in mm_unmap_proc_table() local242 uint64_t *pdpte_ptr = (pdpt_ptr + pdpte_id); in mm_unmap_proc_table()300 if (unlikely(mm_check_page_table(pdpt_ptr)) == 0) in mm_unmap_proc_table()303 kfree(pdpt_ptr); in mm_unmap_proc_table()