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()
1495 	x86pte_t	pte;  in htable_attach()  local
1565 			pte = ptep[i];  in htable_attach()
1567 			pte = ((x86pte32_t *)ptep)[i];  in htable_attach()
1568 		if (!IN_HYPERVISOR_VA(base) && PTE_ISVALID(pte)) {  in htable_attach()
1570 			if (!PTE_ISPAGE(pte, level)) {  in htable_attach()
1572 				    ht, PTE2PFN(pte, level));  in htable_attach()
1678 	x86pte_t pte;  in htable_walk()  local
1700 			pte = htable_scan(prev, &va, eaddr);  in htable_walk()
1702 			if (PTE_ISPAGE(pte, l)) {  in htable_walk()
1705 				return (pte);  in htable_walk()
1735 				pte = htable_scan(ht, &va, eaddr);  in htable_walk()
1736 				if (PTE_ISPAGE(pte, l)) {  in htable_walk()
1740 					return (pte);  in htable_walk()
1776 	x86pte_t *pte,  in htable_getpte()  argument
1792 		if (pte != NULL)  in htable_getpte()
1793 			*pte = x86pte_get(ht, e);  in htable_getpte()
1810 	x86pte_t	pte;  in htable_getpage()  local
1812 	ht = htable_getpte(hat, vaddr, &e, &pte, mmu.max_page_level);  in htable_getpage()
1819 	if (PTE_ISPAGE(pte, ht->ht_level))  in htable_getpage()
1933 	x86pte_t pte = 0;  in x86pte_mapin()  local
1963 		pte = *pteptr;  in x86pte_mapin()
1965 		pte = *(x86pte32_t *)pteptr;  in x86pte_mapin()
1978 	if (!PTE_EQUIV(newpte, pte)) {  in x86pte_mapin()
2042 	x86pte_t	pte;  in x86pte_get()  local
2050 	pte = GET_PTE(ptep);  in x86pte_get()
2052 	return (pte);  in x86pte_get()
2152 	x86pte_t	pte;  in x86pte_cas()  local
2189 	pte = CAS_PTE(ptep, old, new);  in x86pte_cas()
2192 	return (pte);  in x86pte_cas()
2328 	x86pte_t pte;  in x86pte_copy()  local
2352 		pte = MAKEPTE(src->ht_pfn, 0) | mmu.pt_global | mmu.pt_nx;  in x86pte_copy()
2355 			*pteptr = pte;  in x86pte_copy()
2357 			*(x86pte32_t *)pteptr = pte;  in x86pte_copy()
2380 	x86pte_t pte;  in x86pte_copy()  local
2386 			pte = *(x86pte_t *)src_va;  in x86pte_copy()
2388 			pte = *(x86pte32_t *)src_va;  in x86pte_copy()
2389 		if (pte != 0) {  in x86pte_copy()
2391 			    dest->ht_level, pte);  in x86pte_copy()
2396 				    entry, dest->ht_level, pte);  in x86pte_copy()