Searched refs:dptep (Results 1 – 1 of 1) sorted by relevance
6010 static int *sptep, *dptep; in pmap_copy_page4m() local6016 dptep = getptep4m(pmap_kernel(), (dva = (vaddr_t)vpage[1])); in pmap_copy_page4m()6037 setpgt4m(dptep, dpte); in pmap_copy_page4m()6043 setpgt4m(dptep, SRMMU_TEINVALID); in pmap_copy_page4m()