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