Lines Matching defs:va
166 uintptr_t va = des_va;
174 if (kbm_probe(&va, &len, &pfn, &prot) == 0)
176 if (va > des_va)
178 if (va < des_va)
179 pfn += mmu_btop(des_va - va);
199 uintptr_t va;
226 for (va = map_addr, i = 0; i < htable_cnt; va += LEVEL_SIZE(1), ++i) {
227 ht = htable_create(kas.a_hat, va, 0, NULL);
314 uintptr_t va = 0;
407 while (kbm_probe(&va, &size, &pfn, &prot) != 0) {
421 if (va >> LEVEL_SHIFT(l + 1) ==
426 last_va = va;
428 va = (va & LEVEL_MASK(l)) + LEVEL_SIZE(l);