Lines Matching defs:tlb_nreserved
125 static int tlb_nreserved = 0;
286 tlbnext = tlb_nreserved;
1325 tlbnext = tlb_nreserved;
1364 KASSERTMSG(i >= tlb_nreserved && i < NTLB,
1396 for (i = 0; i < tlb_nreserved; i++) {
1449 /* tlb_nreserved is only allowed to grow, so this is safe. */
1450 for (i = 0; i < tlb_nreserved; i++) {
1489 KASSERT(tlb_nreserved < NTLB);
1494 size, tlb_nreserved);
1511 : : [i] "r" (tlb_nreserved), [lo] "r" (lo), [hi] "r" (hi));
1513 tlb_nreserved++;
1567 for (i = tlb_nreserved; i < NTLB; i++) {
1570 KASSERTMSG(!TLB_LOCKED(i) && i >= tlb_nreserved,