pmap_unwire_pt2
return (pmap_unwire_pt2(pmap, va, mpte, free));
if (pmap_unwire_pt2(pmap, va, mpt2pg, &free)) {
if (pmap_unwire_pt2(dst_pmap, addr,