134 xen_flush_va(caddr_t va)  in xen_flush_va()  argument
140 		mmu_flush_tlb_page((uintptr_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_flush_tlb_page((uintptr_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()
1183 	uintptr_t	va;  in htable_release()  local
1190 			va = ht->ht_vaddr;  in htable_release()
1192 			hashval = HTABLE_HASH(hat, va, level);  in htable_release()
1224 				    (hat != kas.a_hat || va >= kernelbase))  in htable_release()
1249 			unlink_ptp(higher, ht, va);  in htable_release()
1612 	uintptr_t va = *vap & LEVEL_MASK(l);  in htable_scan()  local
1615 	ASSERT(va >= ht->ht_vaddr);  in htable_scan()
1616 	ASSERT(va <= HTABLE_LAST_PAGE(ht));  in htable_scan()
1621 	e = htable_va2entry(va, ht);  in htable_scan()
1631 		va += pgsize;  in htable_scan()
1632 		if (va >= eaddr)  in htable_scan()
1643 	if (va < eaddr && pte_ptr != end_pte_ptr)  in htable_scan()
1650 	if (l == mmu.max_level && va >= mmu.hole_start && va <= mmu.hole_end)  in htable_scan()
1651 		va = mmu.hole_end + va - mmu.hole_start;  in htable_scan()
1653 	*vap = va;  in htable_scan()
1673 	uintptr_t va = *vaddr;  in htable_walk()  local
1680 	ASSERT(eaddr > va);  in htable_walk()
1697 		ASSERT(prev->ht_vaddr <= va);  in htable_walk()
1699 		if (va <= HTABLE_LAST_PAGE(prev)) {  in htable_walk()
1700 			pte = htable_scan(prev, &va, eaddr);  in htable_walk()
1703 				*vaddr = va;  in htable_walk()
1728 	while (va < eaddr && va >= *vaddr) {  in htable_walk()
1733 			ht = htable_lookup(hat, va, l);  in htable_walk()
1735 				pte = htable_scan(ht, &va, eaddr);  in htable_walk()
1737 					VERIFY(!IN_VA_HOLE(va));  in htable_walk()
1738 					*vaddr = va;  in htable_walk()
1753 				va = NEXT_ENTRY_VA(va, l + 1);  in htable_walk()
1754 				if (va >= eaddr)  in htable_walk()
1847 htable_va2entry(uintptr_t va, htable_t *ht)  in htable_va2entry()  argument
1851 	ASSERT(va >= ht->ht_vaddr);  in htable_va2entry()
1852 	ASSERT(va <= HTABLE_LAST_PAGE(ht));  in htable_va2entry()
1853 	return ((va >> LEVEL_SHIFT(l)) & (HTABLE_NUM_PTES(ht) - 1));  in htable_va2entry()
1864 	uintptr_t va;  in htable_e2va()  local
1867 	va = ht->ht_vaddr + ((uintptr_t)entry << LEVEL_SHIFT(l));  in htable_e2va()
1872 	if (ht->ht_level == mmu.max_level && va >= mmu.hole_start)  in htable_e2va()
1873 		va += ((mmu.hole_end - mmu.hole_start) + 1);  in htable_e2va()
1875 	return (va);  in htable_e2va()
1940 		caddr_t va = kbm_remap_window(pfn_to_pa(pfn), 1);  in x86pte_mapin()  local
1941 		return (PT_INDEX_PTR(va, index));  in x86pte_mapin()
2021 		uintptr_t va;  in x86pte_mapout()  local
2027 		va = (uintptr_t)PWIN_VA(PWIN_TABLE(CPU->cpu_id));  in x86pte_mapout()
2028 		(void) HYPERVISOR_update_va_mapping(va, 0,  in x86pte_mapout()