pmap_page_to_va
dir1 = (struct ia64_lpte **)pmap_page_to_va(nkpg);
dir1 = (struct ia64_lpte **)pmap_page_to_va(pg);
leaf = (struct ia64_lpte *)pmap_page_to_va(nkpg);
leaf = (struct ia64_lpte *)pmap_page_to_va(pg);
va = pmap_page_to_va(m);
dst_va = pmap_page_to_va(md);
src_va = pmap_page_to_va(ms);
vaddr_t pmap_page_to_va(struct vm_page*);