Lines Matching refs:va
85 uintptr_t va = des_va; in va_to_pfn() local
93 if (kbm_probe(&va, &len, &pfn, &prot) == 0) in va_to_pfn()
95 if (va > des_va) in va_to_pfn()
97 if (va < des_va) in va_to_pfn()
98 pfn += mmu_btop(des_va - va); in va_to_pfn()
118 uintptr_t va; in hat_kmap_init() local
145 for (va = map_addr, i = 0; i < htable_cnt; va += LEVEL_SIZE(1), ++i) { in hat_kmap_init()
146 ht = htable_create(kas.a_hat, va, 0, NULL); in hat_kmap_init()
233 uintptr_t va = 0; in hat_kern_alloc() local
326 while (kbm_probe(&va, &size, &pfn, &prot) != 0) { in hat_kern_alloc()
340 if (va >> LEVEL_SHIFT(l + 1) == in hat_kern_alloc()
345 last_va = va; in hat_kern_alloc()
347 va = (va & LEVEL_MASK(l)) + LEVEL_SIZE(l); in hat_kern_alloc()
491 mmu_flush_tlb_kpage(uintptr_t va) in mmu_flush_tlb_kpage() argument
493 ASSERT(va >= kernelbase); in mmu_flush_tlb_kpage()
495 mmu_invlpg((caddr_t)va); in mmu_flush_tlb_kpage()
506 mmu_flush_tlb_page(uintptr_t va) in mmu_flush_tlb_page() argument
510 if (va >= kernelbase) { in mmu_flush_tlb_page()
511 mmu_flush_tlb_kpage(va); in mmu_flush_tlb_page()
516 mmu_invlpg((caddr_t)va); in mmu_flush_tlb_page()
525 invpcid(INVPCID_ADDR, PCID_USER, va); in mmu_flush_tlb_page()
526 invpcid(INVPCID_ADDR, PCID_KERNEL, va); in mmu_flush_tlb_page()
537 for (uintptr_t va = addr; va < (addr + len); va += pgsz) in mmu_flush_tlb_range() local
538 mmu_flush_tlb_page(va); in mmu_flush_tlb_range()
555 for (uintptr_t va = addr; va < (addr + len); va += pgsz) in mmu_flush_tlb_range() local
556 mmu_invlpg((caddr_t)va); in mmu_flush_tlb_range()