Lines Matching defs:pte
746 uint64_t pte = 0;
750 pte = *((uint64_t *)ptep);
753 pte = *((uint32_t *)ptep);
756 return (pte);
760 xkb_pte_to_base_mfn(uint64_t pte, size_t level)
762 if (PTE_IS_LGPG(pte, level)) {
763 pte &= PT_PADDR_LGPG;
765 pte &= PT_PADDR;
768 return (pte >> PAGE_SHIFT);
779 uint64_t pte;
790 pte = xkb_get_pte(mmu, (char *)xkb->xkb_pt_map[level].mm_map +
793 if ((mfn = xkb_pte_to_base_mfn(pte, level)) == MFN_INVALID)
805 if (PTE_IS_LGPG(pte, level)) {