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()
1181 	uintptr_t	va;  in htable_release()  local
1188 			va = ht->ht_vaddr;  in htable_release()
1190 			hashval = HTABLE_HASH(hat, va, level);  in htable_release()
1222 				    (hat != kas.a_hat || va >= kernelbase))  in htable_release()
1247 			unlink_ptp(higher, ht, va);  in htable_release()
1614 	uintptr_t va = *vap & LEVEL_MASK(l);  in htable_scan()  local
1617 	ASSERT(va >= ht->ht_vaddr);  in htable_scan()
1618 	ASSERT(va <= HTABLE_LAST_PAGE(ht));  in htable_scan()
1623 	e = htable_va2entry(va, ht);  in htable_scan()
1633 		va += pgsize;  in htable_scan()
1634 		if (va >= eaddr)  in htable_scan()
1645 	if (va < eaddr && pte_ptr != end_pte_ptr)  in htable_scan()
1653 	if (l == mmu.max_level && va >= mmu.hole_start && va <= mmu.hole_end)  in htable_scan()
1654 		va = mmu.hole_end + va - mmu.hole_start;  in htable_scan()
1657 	*vap = va;  in htable_scan()
1677 	uintptr_t va = *vaddr;  in htable_walk()  local
1684 	ASSERT(eaddr > va);  in htable_walk()
1701 		ASSERT(prev->ht_vaddr <= va);  in htable_walk()
1703 		if (va <= HTABLE_LAST_PAGE(prev)) {  in htable_walk()
1704 			pte = htable_scan(prev, &va, eaddr);  in htable_walk()
1707 				*vaddr = va;  in htable_walk()
1732 	while (va < eaddr && va >= *vaddr) {  in htable_walk()
1737 			ht = htable_lookup(hat, va, l);  in htable_walk()
1739 				pte = htable_scan(ht, &va, eaddr);  in htable_walk()
1741 					VERIFY(!IN_VA_HOLE(va));  in htable_walk()
1742 					*vaddr = va;  in htable_walk()
1757 				va = NEXT_ENTRY_VA(va, l + 1);  in htable_walk()
1758 				if (va >= eaddr)  in htable_walk()
1855 htable_va2entry(uintptr_t va, htable_t *ht)  in htable_va2entry()  argument
1859 	ASSERT(va >= ht->ht_vaddr);  in htable_va2entry()
1860 	ASSERT(va <= HTABLE_LAST_PAGE(ht));  in htable_va2entry()
1861 	return ((va >> LEVEL_SHIFT(l)) & (HTABLE_NUM_PTES(ht) - 1));  in htable_va2entry()
1872 	uintptr_t va;  in htable_e2va()  local
1875 	va = ht->ht_vaddr + ((uintptr_t)entry << LEVEL_SHIFT(l));  in htable_e2va()
1881 	if (ht->ht_level == mmu.max_level && va >= mmu.hole_start)  in htable_e2va()
1882 		va += ((mmu.hole_end - mmu.hole_start) + 1);  in htable_e2va()
1885 	return (va);  in htable_e2va()
1968 		caddr_t va = kbm_remap_window(pfn_to_pa(pfn), 1);  in x86pte_mapin()  local
1969 		return (PT_INDEX_PTR(va, index));  in x86pte_mapin()
2049 		uintptr_t va;  in x86pte_mapout()  local
2055 		va = (uintptr_t)PWIN_VA(PWIN_TABLE(CPU->cpu_id));  in x86pte_mapout()
2056 		(void) HYPERVISOR_update_va_mapping(va, 0,  in x86pte_mapout()