Lines Matching refs:k
129 for (int k = 0; k < PAGETABLE_ENTRIES; k++) {
130 PageEntry pte3 = tbl3->entries[k];
222 int i,j,k,l;
229 k = (va >> LARGE_PGSHIFT) & PGIDXMASK;
247 pte = table->entries[k];
250 entry = &table->entries[k];
280 int i,j,k,l;
286 k = (va >> LARGE_PGSHIFT) & PGIDXMASK;
318 pte = table->entries[k];
321 *entry = &table->entries[k];
330 table->entries[k] = pte;
546 AddrFromIJKL(uint64_t i, uint64_t j, uint64_t k, uint64_t l)
548 return (i << 39) | (j << HUGE_PGSHIFT) | (k << LARGE_PGSHIFT) | (l << PGSHIFT);
556 int k = 0;
580 for (k = 0; k < PAGETABLE_ENTRIES; k++) {
581 PageEntry pte3 = l2->entries[k];
588 AddrFromIJKL(i, j, k, 0),
596 AddrFromIJKL(i, j, k, l),
620 int k = 0;
639 for (k = 0; k < PAGETABLE_ENTRIES; k++) {
640 PageEntry pte3 = l2->entries[k];
652 AddrFromIJKL(i, j, k, l),