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