214 	x86pte_t pte = PT_NOCONSIST | PT_REF | PT_MOD;  in xen_kpm_page()  local
220 		pte |= pa_to_ma(pa) | how;  in xen_kpm_page()
222 		pte = 0;  in xen_kpm_page()
224 	    pte, UVMF_INVLPG | UVMF_ALL));  in xen_kpm_page()
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()
443 	x86pte_t	pte;  in htable_steal_active()  local
477 				pte = x86pte_get(ht, e);  in htable_steal_active()
478 				if (!PTE_ISVALID(pte))  in htable_steal_active()
480 				hat_pte_unmap(ht, e, HAT_UNLOAD, pte, NULL,  in htable_steal_active()
1478 	x86pte_t	pte;  in htable_attach()  local
1552 			pte = ptep[i];  in htable_attach()
1554 			pte = ((x86pte32_t *)ptep)[i];  in htable_attach()
1555 		if (!IN_HYPERVISOR_VA(base) && PTE_ISVALID(pte)) {  in htable_attach()
1557 			if (!PTE_ISPAGE(pte, level)) {  in htable_attach()
1559 				    ht, PTE2PFN(pte, level));  in htable_attach()
1667 	x86pte_t pte;  in htable_walk()  local
1689 			pte = htable_scan(prev, &va, eaddr);  in htable_walk()
1691 			if (PTE_ISPAGE(pte, l)) {  in htable_walk()
1694 				return (pte);  in htable_walk()
1724 				pte = htable_scan(ht, &va, eaddr);  in htable_walk()
1725 				if (PTE_ISPAGE(pte, l)) {  in htable_walk()
1729 					return (pte);  in htable_walk()
1765 	x86pte_t *pte,  in htable_getpte()  argument
1781 		if (pte != NULL)  in htable_getpte()
1782 			*pte = x86pte_get(ht, e);  in htable_getpte()
1799 	x86pte_t	pte;  in htable_getpage()  local
1801 	ht = htable_getpte(hat, vaddr, &e, &pte, mmu.max_page_level);  in htable_getpage()
1808 	if (PTE_ISPAGE(pte, ht->ht_level))  in htable_getpage()
1946 	x86pte_t pte = 0;  in x86pte_mapin()  local
1973 		pte = *pteptr;  in x86pte_mapin()
1975 		pte = *(x86pte32_t *)pteptr;  in x86pte_mapin()
1988 	if (!PTE_EQUIV(newpte, pte)) {  in x86pte_mapin()
2055 	x86pte_t	pte;  in x86pte_get()  local
2063 	pte = GET_PTE(ptep);  in x86pte_get()
2065 	return (pte);  in x86pte_get()
2165 	x86pte_t	pte;  in x86pte_cas()  local
2204 	pte = CAS_PTE(ptep, old, new);  in x86pte_cas()
2207 	return (pte);  in x86pte_cas()
2343 	x86pte_t pte;  in x86pte_copy()  local
2365 		pte = MAKEPTE(src->ht_pfn, 0) | mmu.pt_global | mmu.pt_nx;  in x86pte_copy()
2368 			*pteptr = pte;  in x86pte_copy()
2370 			*(x86pte32_t *)pteptr = pte;  in x86pte_copy()
2393 	x86pte_t pte;  in x86pte_copy()  local
2399 			pte = *(x86pte_t *)src_va;  in x86pte_copy()
2401 			pte = *(x86pte32_t *)src_va;  in x86pte_copy()
2402 		if (pte != 0) {  in x86pte_copy()
2404 			    dest->ht_level, pte);  in x86pte_copy()
2410 				    entry, dest->ht_level, pte);  in x86pte_copy()