pt2_is_full
if (pt2_is_full(m, va)) {
KASSERT(pt2_is_full(m, va), ("%s: bad PT2 wire"
if ((mpte2 == NULL || pt2_is_full(mpte2, va)) &&