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