return __mkpte_from((pte.val & _PAGE_BASE_MASK) | (paddr & ~_PAGE_BASE_MASK));
}
+static inline pte_t
+pte_setppfn(pte_t pte, pfn_t ppfn)
+{
+ return __mkpte_from((pte.val & _PAGE_BASE_MASK) | (ppfn * PAGE_SIZE));
+}
+
static inline ptr_t
pte_paddr(pte_t pte)
{
return pte.val & ~_PAGE_BASE_MASK;
}
+static inline pfn_t
+pte_ppfn(pte_t pte)
+{
+ return pte.val >> _PAGE_BASE_SHIFT;
+}
+
static inline pte_t
pte_setprot(pte_t pte, ptr_t prot)
{