134 xen_flush_va(caddr_t va)  in xen_flush_va()  argument
140 		mmu_tlbflush_entry((caddr_t)va);  in xen_flush_va()
143 		t.arg1.linear_addr = (uintptr_t)va;  in xen_flush_va()
151 xen_gflush_va(caddr_t va, cpuset_t cpus)  in xen_gflush_va()  argument
157 		mmu_tlbflush_entry((caddr_t)va);  in xen_gflush_va()
162 	t.arg1.linear_addr = (uintptr_t)va;  in xen_gflush_va()
254 xen_map(uint64_t pte, caddr_t va)  in xen_map()  argument
256 	if (HYPERVISOR_update_va_mapping((uintptr_t)va, pte,  in xen_map()
442 	uintptr_t	va;  in htable_steal_active()  local
473 			for (e = 0, va = ht->ht_vaddr;  in htable_steal_active()
476 			    ++e, va += MMU_PAGESIZE) {  in htable_steal_active()
1166 	uintptr_t	va;  in htable_release()  local
1173 			va = ht->ht_vaddr;  in htable_release()
1175 			hashval = HTABLE_HASH(hat, va, level);  in htable_release()
1207 				    (hat != kas.a_hat || va >= kernelbase))  in htable_release()
1232 			unlink_ptp(higher, ht, va);  in htable_release()
1599 	uintptr_t va = *vap & LEVEL_MASK(l);  in htable_scan()  local
1602 	ASSERT(va >= ht->ht_vaddr);  in htable_scan()
1603 	ASSERT(va <= HTABLE_LAST_PAGE(ht));  in htable_scan()
1608 	e = htable_va2entry(va, ht);  in htable_scan()
1618 		va += pgsize;  in htable_scan()
1619 		if (va >= eaddr)  in htable_scan()
1630 	if (va < eaddr && pte_ptr != end_pte_ptr)  in htable_scan()
1638 	if (l == mmu.max_level && va >= mmu.hole_start && va <= mmu.hole_end)  in htable_scan()
1639 		va = mmu.hole_end + va - mmu.hole_start;  in htable_scan()
1642 	*vap = va;  in htable_scan()
1662 	uintptr_t va = *vaddr;  in htable_walk()  local
1669 	ASSERT(eaddr > va);  in htable_walk()
1686 		ASSERT(prev->ht_vaddr <= va);  in htable_walk()
1688 		if (va <= HTABLE_LAST_PAGE(prev)) {  in htable_walk()
1689 			pte = htable_scan(prev, &va, eaddr);  in htable_walk()
1692 				*vaddr = va;  in htable_walk()
1717 	while (va < eaddr && va >= *vaddr) {  in htable_walk()
1722 			ht = htable_lookup(hat, va, l);  in htable_walk()
1724 				pte = htable_scan(ht, &va, eaddr);  in htable_walk()
1726 					VERIFY(!IN_VA_HOLE(va));  in htable_walk()
1727 					*vaddr = va;  in htable_walk()
1742 				va = NEXT_ENTRY_VA(va, l + 1);  in htable_walk()
1743 				if (va >= eaddr)  in htable_walk()
1840 htable_va2entry(uintptr_t va, htable_t *ht)  in htable_va2entry()  argument
1844 	ASSERT(va >= ht->ht_vaddr);  in htable_va2entry()
1845 	ASSERT(va <= HTABLE_LAST_PAGE(ht));  in htable_va2entry()
1846 	return ((va >> LEVEL_SHIFT(l)) & (HTABLE_NUM_PTES(ht) - 1));  in htable_va2entry()
1857 	uintptr_t va;  in htable_e2va()  local
1860 	va = ht->ht_vaddr + ((uintptr_t)entry << LEVEL_SHIFT(l));  in htable_e2va()
1866 	if (ht->ht_level == mmu.max_level && va >= mmu.hole_start)  in htable_e2va()
1867 		va += ((mmu.hole_end - mmu.hole_start) + 1);  in htable_e2va()
1870 	return (va);  in htable_e2va()
1953 		caddr_t va = kbm_remap_window(pfn_to_pa(pfn), 1);  in x86pte_mapin()  local
1954 		return (PT_INDEX_PTR(va, index));  in x86pte_mapin()
2034 		uintptr_t va;  in x86pte_mapout()  local
2040 		va = (uintptr_t)PWIN_VA(PWIN_TABLE(CPU->cpu_id));  in x86pte_mapout()
2041 		(void) HYPERVISOR_update_va_mapping(va, 0,  in x86pte_mapout()