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