Lines Matching refs:pte
58 uint_t hat_kdi_use_pae; /* if 0, use x86pte32_t for pte type */
61 static x86pte_t *hat_kdi_pte = NULL; /* vaddr of pte for hat_kdi_page */
157 x86pte_t pte;
187 pte = 0;
188 if (kdi_pread((caddr_t)&pte, mmu.pte_size, *pap, &len) != 0)
190 if (pte == 0)
193 (pte & PT_PAGESIZE)) {
194 *pap = kdi_mtop(pte & PT_PADDR_LGPG);
197 *pap = kdi_mtop(pte & PT_PADDR);
215 x86pte_t pte;
230 pte = kdi_ptom(mmu_ptob(mmu_btop(pa))) | PT_VALID;
235 PTE_SET(pte, PT_WRITABLE);
248 (uintptr_t)va, pte, UVMF_INVLPG);
251 *hat_kdi_pte = pte;
253 *(x86pte32_t *)hat_kdi_pte = pte;