NL3PG
KASSERT(ml3->ref_count == NL3PG,
for (l3 = firstl3 + NL3PG - 1; l3 > firstl3; l3--) {
(mpte == NULL || mpte->ref_count == NL3PG) &&
full_lvl == 1 && (mpte == NULL || mpte->ref_count == NL3PG))
uwptpg->ref_count = NL3PG;
full_lvl == 1 && (mpte == NULL || mpte->ref_count == NL3PG)) {
KASSERT(ml3->ref_count == NL3PG,
ml3->ref_count = NL3PG;