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()
1493 	x86pte_t	pte;  in htable_attach()  local
1567 			pte = ptep[i];  in htable_attach()
1569 			pte = ((x86pte32_t *)ptep)[i];  in htable_attach()
1570 		if (!IN_HYPERVISOR_VA(base) && PTE_ISVALID(pte)) {  in htable_attach()
1572 			if (!PTE_ISPAGE(pte, level)) {  in htable_attach()
1574 				    ht, PTE2PFN(pte, level));  in htable_attach()
1682 	x86pte_t pte;  in htable_walk()  local
1704 			pte = htable_scan(prev, &va, eaddr);  in htable_walk()
1706 			if (PTE_ISPAGE(pte, l)) {  in htable_walk()
1709 				return (pte);  in htable_walk()
1739 				pte = htable_scan(ht, &va, eaddr);  in htable_walk()
1740 				if (PTE_ISPAGE(pte, l)) {  in htable_walk()
1744 					return (pte);  in htable_walk()
1780 	x86pte_t *pte,  in htable_getpte()  argument
1796 		if (pte != NULL)  in htable_getpte()
1797 			*pte = x86pte_get(ht, e);  in htable_getpte()
1814 	x86pte_t	pte;  in htable_getpage()  local
1816 	ht = htable_getpte(hat, vaddr, &e, &pte, mmu.max_page_level);  in htable_getpage()
1823 	if (PTE_ISPAGE(pte, ht->ht_level))  in htable_getpage()
1961 	x86pte_t pte = 0;  in x86pte_mapin()  local
1988 		pte = *pteptr;  in x86pte_mapin()
1990 		pte = *(x86pte32_t *)pteptr;  in x86pte_mapin()
2003 	if (!PTE_EQUIV(newpte, pte)) {  in x86pte_mapin()
2070 	x86pte_t	pte;  in x86pte_get()  local
2078 	pte = GET_PTE(ptep);  in x86pte_get()
2080 	return (pte);  in x86pte_get()
2180 	x86pte_t	pte;  in x86pte_cas()  local
2219 	pte = CAS_PTE(ptep, old, new);  in x86pte_cas()
2222 	return (pte);  in x86pte_cas()
2358 	x86pte_t pte;  in x86pte_copy()  local
2380 		pte = MAKEPTE(src->ht_pfn, 0) | mmu.pt_global | mmu.pt_nx;  in x86pte_copy()
2383 			*pteptr = pte;  in x86pte_copy()
2385 			*(x86pte32_t *)pteptr = pte;  in x86pte_copy()
2408 	x86pte_t pte;  in x86pte_copy()  local
2414 			pte = *(x86pte_t *)src_va;  in x86pte_copy()
2416 			pte = *(x86pte32_t *)src_va;  in x86pte_copy()
2417 		if (pte != 0) {  in x86pte_copy()
2419 			    dest->ht_level, pte);  in x86pte_copy()
2425 				    entry, dest->ht_level, pte);  in x86pte_copy()