Lines Matching refs:pte
68 static inline bool_t isPTEPageTable(pte_t *pte)
70 return pte_ptr_get_valid(pte) &&
71 !(pte_ptr_get_read(pte) || pte_ptr_get_write(pte) || pte_ptr_get_execute(pte));
385 static inline pte_t *getPPtrFromHWPTE(pte_t *pte)
387 return PTE_PTR(ptrFromPAddr(pte_ptr_get_ppn(pte) << seL4_PageTableBits));
776 pte_t pte = pte_new((paddr >> seL4_PageBits),
793 return performPageTableInvocationMap(cap, cte, pte, ptSlot);
885 pte_t pte = makeUserPTE(frame_paddr, executable, vmRights);
887 return performPageInvocationMapPTE(cap, cte, pte, lu_ret.ptSlot);
963 pte_t pte = makeUserPTE(frame_paddr, executable, vmRights);
965 return performPageInvocationRemapPTE(pte, lu_ret.ptSlot);
1142 pte_t pte, pte_t *ptSlot)
1145 *ptSlot = pte;
1184 static exception_t updatePTE(pte_t pte, pte_t *base)
1186 *base = pte;
1192 pte_t pte, pte_t *base)
1195 return updatePTE(pte, base);
1199 performPageInvocationRemapPTE(pte_t pte, pte_t *base)
1201 return updatePTE(pte, base);