pt2_wirecount_get
KASSERT(m->ref_count > pt2_wirecount_get(m, pte1_idx),
pt2_wirecount_get(m, pte1_idx)));
__func__, pt2_wirecount_get(m, pte1_idx)));
pt2_wirecount_get(m, pte1_index(va))));
KASSERT(pt2_wirecount_get(src_mpt2pg, pte1_idx) > 0,
if (pt2_wirecount_get(src_mpt2pg, pte1_idx) == 0)
if (pt2_wirecount_get(dst_mpt2pg, pte1_idx) >=
pt2_wirecount_get(src_mpt2pg, pte1_idx))
pt2_wirecount_get(m, pte1_index(va)));