pmap_pt2_page
m = pmap_pt2_page(pmap, va);
m = pmap_pt2_page(pmap, sva);
if ((opte1 & PTE1_A) == 0 || (m = pmap_pt2_page(pmap, va)) == NULL) {
mpt2pg = pmap_pt2_page(pmap, pv->pv_va);