Searched refs:delpage_pde_index (Results 1 – 1 of 1) sorted by relevance
663 uint64_t delpage_pde_index = 0; in pmap_enter_options() local758 delpage_pde_index = pdeidx(pmap, vaddr); in pmap_enter_options()1275 m = vm_page_lookup(delpage_pm_obj, (delpage_pde_index * PAGE_SIZE)); in pmap_enter_options()