TLB_LOCKED
if (found && !TLB_LOCKED(i)) {
if (!TLB_LOCKED(i))
KASSERTMSG(!TLB_LOCKED(i) && i >= tlb_nreserved,